Re: [Xmonad] darcs patch: (un)Manage Docks based on WINDOW_TYPE

mail:

Sat Oct 6 15:28:02 CEST 2007 mail@joachim-breitner.de * (un)Manage Docks based on WINDOW_TYPE Hi,

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).

Greetings, Joachim

Applied. Good stuff. -- Don