aboutsummaryrefslogtreecommitdiffstats
path: root/ManageDocks.hs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* HierarchifySpencer Janssen2007-11-011-153/+0
| | | | darcs-hash:20071101201059-a5988-fc1f1262bec1b69e13ba18ae7cefeafc8c4471d4.gz
* Use hierarchical module names from the coreSpencer Janssen2007-11-011-2/+2
| | | | darcs-hash:20071101182824-a5988-e02ade829d66f49dd6b303b7a797933251c44164.gz
* code to define a strut-avoiding layout.David Roundy2007-10-241-0/+19
| | | | darcs-hash:20071023220025-72aca-a741feec986227fcd60d4a7e09be98f163d6b118.gz
* STRUT aware gap toggling (clean patch)mail2007-10-231-8/+40
| | | | | | | | | | | | | | | Without this patch, ManageDocks would only set the gap according to a window’s STRUT when the window is first mapped. This information would then get lost when the user toggle the gap. Now, when the user toggles the Gap, all present windows are scanned for STRUT settings, and the gap is set accordingly. No need to manually configure the gap anymore. This is the same patch as before, but independant of the Hooks patches, and with more documentation. darcs-hash:20071022220132-c9905-fb953a07a9c15ed37a40b47d83763f434de47fcf.gz
* Fix EwmhDesktops, ManageDocks, and SetWMName compilation for amd64Alex Tarkovsky2007-10-101-30/+30
| | | | darcs-hash:20071010213853-bd4fb-66e3492b55dc7aeb9dee18201a66f540b52e8b53.gz
* doc fixes for ManageDocksDevin Mullins2007-10-071-1/+3
| | | | darcs-hash:20071007204016-78224-4cf7d340d1f32d7fb4a8f01396dfe378b82ec915.gz
* ManageDocks now handles STRUT windows as wellmail2007-10-071-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_TYPEmail2007-10-061-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