aboutsummaryrefslogtreecommitdiffstats
path: root/XMonad/Hooks/ManageDocks.hs (unfollow)
Commit message (Collapse)AuthorFilesLines
2007-11-01HierarchifySpencer Janssen1-4/+4
darcs-hash:20071101201059-a5988-fc1f1262bec1b69e13ba18ae7cefeafc8c4471d4.gz
2007-11-01Use hierarchical module names from the coreSpencer Janssen1-2/+2
darcs-hash:20071101182824-a5988-e02ade829d66f49dd6b303b7a797933251c44164.gz
2007-10-24code to define a strut-avoiding layout.David Roundy1-0/+19
darcs-hash:20071023220025-72aca-a741feec986227fcd60d4a7e09be98f163d6b118.gz
2007-10-23STRUT aware gap toggling (clean patch)mail1-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
2007-10-10Fix EwmhDesktops, ManageDocks, and SetWMName compilation for amd64Alex Tarkovsky1-30/+30
darcs-hash:20071010213853-bd4fb-66e3492b55dc7aeb9dee18201a66f540b52e8b53.gz
2007-10-07doc fixes for ManageDocksDevin Mullins1-1/+3
darcs-hash:20071007204016-78224-4cf7d340d1f32d7fb4a8f01396dfe378b82ec915.gz
2007-10-07ManageDocks now handles STRUT windows as wellmail1-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
2007-10-06(un)Manage Docks based on WINDOW_TYPEmail1-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