userChromeJSManager: how to reset it in relation to the 'Tool Menu' #172
-
Hi, |
Beta Was this translation helpful? Give feedback.
Replies: 2 comments
-
The option to revert exists: I guess you're confusing Tools menu, which is part of Menu Bar (you usually can activate it by pressing just userChromeJS menu in main menu is always present and doesn't handle button placement.
Open |
Beta Was this translation helpful? Give feedback.
-
@xiaoxiaoflood, thank you very much for the reply, you have guessed right... My goodness, I fell into a big confusion between the Tools Menu and the Main Menu and it didn't even cross my mind the Menu Bar by not using it for a long time. Well, now that it's cleared up I seem to have found 2 ways to hide from the Main Menu:
PS: thanks also for the "Extension Options Menu" of great use! |
Beta Was this translation helpful? Give feedback.
The option to revert exists:
I guess you're confusing Tools menu, which is part of Menu Bar (you usually can activate it by pressing just
Alt
), with the main menu (hamburger button in top-right).userChromeJS menu in main menu is always present and doesn't handle button placement.
Open
about:config
and look foruserChromeJS.showtoolbutton
.