GNOME Bugzilla – Bug 690571
add UI option for disabling menubar by default
Last modified: 2013-01-30 17:43:07 UTC
This is a regression from 3.6.x and is already present in dconf, so it is a matter of exposing it.
The problem is that it's a global setting, but we don't have a Settings dialogue, only profile and keybinding settings...
Fixed on master.