Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

Add to Tools menu #6

barelyfitz opened this Issue Jan 5, 2012 · 3 comments


None yet
2 participants

Excellent add-on! Since the Add-on Bar can be hidden (and most of my fellow developers seem to keep it hidden), would it be possible to put an on/off control into the Tools > Web Developer menu?

@ghost ghost assigned benmmurphy Jan 6, 2012


benmmurphy commented Jan 6, 2012

this is a good idea and really easy to implement :) i'll try and do it in the next couple of days. it takes a week or so before it gets reviewed by addons.mozilla.org.


benmmurphy commented Jan 8, 2012

i've made the change and submitted a new version to addons.mozilla.org.

if you are desperate to use the new version i have it available here:


@benmmurphy benmmurphy closed this Jan 8, 2012


Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment