2 Commits

Author	SHA1	Message	Date
mail	a40f8c9c5f	ManageDocks now handles STRUT windows as well ... It now also detects window with STRUT set and modifies the gap accordingly. Cheveats: * Only acts on STRUT apps on creation, not if you move or close them * To reset the gap, press Mod-b twice and restart xmonad (Mod-q)	2007-10-07 10:31:16 +00:00
mail	6c2b35046d	(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	2007-10-06 13:28:02 +00:00