Justin Bogner wrote:
codesite-noreply-hpIqsD4AKlfQT0dZR+AlfA-XMD5yJDbdMReXY1tMh2IBg@public.gmane.org wrote:
Issue 168: gnome-panel with autohide enabled appears behind main windows http://code.google.com/p/xmonad/issues/detail?id=168
Comment #1 by gwern0: Just to add a comment: I can reproduce this in darcs XMonad, Ubuntu Hardy Heron, using ManageDocks as well (see my xmonad.hs).
This bug is kind of annoying, since autohide is the best way to save gnome-panel wasted space (once you've consolidated into a single panel and have shrunk it down as much as possible), even if you can work around it by going to an empty workspace.
I've attached a fix, it keeps struts at the top of the stacking order all the time. Tested in gnome.
Don't apply this, it thoroughly breaks toggleStruts.