And, just for clarification, of course the global menubar is still a good idea when the window is maximized, so juste keep it in that case only.
And, just for clarification, of course the global menubar is still a good idea when the window is maximized, so juste keep it in that case only.