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
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
participants (2)
-
Don Stewart -
mail＠joachim-breitner.de