User-Agent: Mozilla/5.0 (X11; U; Linux i686; de; rv:1.8.1.2) Gecko/20060601 Firefox/2.0.0.2 (Ubuntu-edgy) Build Identifier: In case somebody does, like me, make use of hotkeys and never actually needs to access the menubar, there should be an option to hide it. For example "View->Menubar". Reproducible: Always Steps to Reproduce:
I agree that this is useful, even without hotkeys you almost never need to open the menu for anything.
Implemented in master.