![]() : you mentioned above replacing the script’s icon with the one of Firefox’s native ‘Addons Manager’. Tooltiptext: ‘Extension Options Menu | Add-ons Manager’] for instance? : Given the access to about:addons (middle or right click), why not modify it (for the sake of coherence) to: : if false a disabled extension is moved to the bottom of the list, if true it keeps its position in the list (my preference)Ģ- Other user modifications besides the middle-to-right click we’ve talked about : I adore (“Dior j’adore”) the script so I’m likely to adore this planned ‘Firefox single Extensions button’ GIVEN it allows and does not replace the toolbar extensions’ buttons otherwise I’ll disable it via its about:config pref and keep my script one last thing about this extensionOptionsMenu.uc.js I forgot to mention but I guess you’re aware of : really handy, no need to open then scroll the ‘about:addons’ page… especially when you run many extensions. when I go surfing “off-shore” (Red-light zone districts!) and then enable the ‘Netcraft extension’ and ‘CheckMyHTTPS’ extensions. I have over 50 installed extensions, some of them are enabled only occasionally, i.e. The above userChromeJS script doesn’t handle the ‘Report extension’. Easily enable/disable/remove installed extensions. Left-click to open Options from the hovered addon, right-click to enable/disable, Ctrl + right-click to uninstall. “A single toolbar button to manage all your extensions. I already use a userChromeJS script which performs in a similar way to this planned ‘Firefox single Extensions button’ : Now You: where do you prefer your extension icons: single menu, on the toolbar, or mixed?
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |