Hacker News new | ask | show | jobs
by masklinn 5721 days ago
Not that I know of: the webkit dev tools aren't externally pluggable (if they are I missed how, but since Chrome and Safari have different plugin architectures I don't see how that would work), so third-parties (to both the browser and the tools, but for Webkit browsers they're kind-of merged) can not extend the tools aside from getting patches merged into mainline.