Web Developer 1.0
A year in the making, I am pleased to finally announce the 1.0 release of the Web Developer extension. This release contains a huge number of new features and bug fixes.
Some new features to look out for are:
- Display Element Information
- Display Ruler
- Edit HTML
- View Document Size
Other notable new features are support for opening the current page in another application through the customizable ‘Tools’ menu and viewing the source in an external editor through the customizable ‘View Source’ menu.
Note: If you are upgrading from a previous version of the extension you are strongly recommended to uninstall the extension before upgrading. If you are having problems after upgrading you should uninstall the extension in safe mode and then re-install.
The conversation on this post is powered by webmentions and Micro.blog. Comments on Instagram and Mastodon are pulled back using Bridgy.