[Xmonad] darcs patch: (un)Manage Docks based on WINDOW_TYPE
dons at galois.com
Sat Oct 6 09:37:41 EDT 2007
> Sat Oct 6 15:28:02 CEST 2007 mail at joachim-breitner.de
> * (un)Manage Docks based on WINDOW_TYPE
> this is a replacement for the example code in Config.hs that should detect
> and unamange, for example, the gnome-panel.
> The problem with that code is that it also unamangs dialog boxes from gnome-panel
> which then are not usable (no keyboard intput, at least here).
Applied. Good stuff.
More information about the Xmonad