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.
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.