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

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