Oh, since this is an "opinion" bug, my vote for configurable options:
[ ] Global Menu on [ ] Global Menu off [x] Global Menu only for maximized windows
Oh, since this is an "opinion" bug, my vote for configurable options:
[ ] Global Menu on
[ ] Global Menu off
[x] Global Menu only for maximized windows