Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | doc fixes for ManageDocks | Devin Mullins | 2007-10-07 | 1 | -1/+3 |
| | | | | darcs-hash:20071007204016-78224-4cf7d340d1f32d7fb4a8f01396dfe378b82ec915.gz | ||||
* | ManageDocks now handles STRUT windows as well | 2007-10-07 | 1 | -5/+46 | |
| | | | | | | | | | 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) darcs-hash:20071007103116-c9905-8582a9f756d9ef8a61c7f118d677159796b00c40.gz | ||||
* | (un)Manage Docks based on WINDOW_TYPE | 2007-10-06 | 1 | -0/+59 | |
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 darcs-hash:20071006132802-c9905-befdbe36f6f280d987dfb62702b7a6e05ce3306c.gz |