Aleve: well, I think you just got permission from sabdfl himself, so the only thing we need is for someone to step up and write a patch to allow this option.
I think a dconf option "hide-global-menu" with possible values 1) always (default, the current state) 2) hide only menu * 3) never (selfdecriptional) would be enough. * i.e. menu would be hidden, close&minimize&maximize buttons would be shown, use case is as follows: I have a maximized application in the background, over it is a not-maximized application that has got focus. I want to close the maximized application. I move the pointer to upper left corner. The buttons do not show, since the background application does not have focus. I have to go back, click on it and then go back to the corner to close it. I do that several times a day :-( . - otherwise, i like autohiding the global menu. I actually thing 2) should be the default, but that is my two cents. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/783240 Title: disable autohide AppMenu (global menu) To manage notifications about this bug go to: https://bugs.launchpad.net/ayatana-design/+bug/783240/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
