Has anyone else experienced the same problem?
After some recent update (~x86), windows in gnome desktop when maximized
hide their borders/bars behind the desktop panels, which is really
annoying. In the case of terminals, the prompt gets almost hidden, in
the case of other applications, the "file" menu gets hidden, scrollbars
etc...
- [gentoo-user] Window borders in gnome desktop when maximized... Thanasis