Tools menu

Hi there!

It has bugged me for a while now that FoxyProxy inserts its Tools-menu item BEFORE the devToolsSeparator instead of AFTER as is customary for other extensions (and as is suggested on this page). Once you get a bunch of extensions installed the Tools menu starts to get very cluttered, and having all the add-on menu items strewn about in different sections makes it even worse... so changing this would make things a little less noisy i think.

I know this is a very minor, sort of trivial, request, but maybe that'll make it all the more easy for you to implement? :)

cheers

Thanks for the suggestion.

Thanks for the suggestion. I've made committed the change, and it will be included in the next release.

Done in FoxyProxy 2.14.

Done in FoxyProxy 2.14.