diff options
author | Don Stewart <dons@cse.unsw.edu.au> | 2007-05-28 05:15:01 +0200 |
---|---|---|
committer | Don Stewart <dons@cse.unsw.edu.au> | 2007-05-28 05:15:01 +0200 |
commit | c60ea349b9b5e9942e3e396fc78a2d4716226f70 (patch) | |
tree | 32f29df936cef95ab57b01f4a72c4310d759ed23 /Config.hs | |
parent | 631435da5f7a4986180b3224fa7391bbb020193a (diff) | |
download | metatile-c60ea349b9b5e9942e3e396fc78a2d4716226f70.tar metatile-c60ea349b9b5e9942e3e396fc78a2d4716226f70.zip |
support per-screen gap settings. you can have different gaps on individual screens now
darcs-hash:20070528031501-9c5c1-beaadbacb5efc1ce5998aba41fbb3b2c68cdf0d1
Diffstat (limited to 'Config.hs')
-rw-r--r-- | Config.hs | 11 |
1 files changed, 6 insertions, 5 deletions
@@ -49,14 +49,14 @@ defaultDelta = 3%100 defaultWindowsInMaster :: Int defaultWindowsInMaster = 1 --- Default offset of drawable screen boundary from physical screen. +-- Default offset of drawable screen boundaries from each physical screen. -- Anything non-zero here will leave a gap of that many pixels on the --- given edge. A useful gap at top of screen for a menu bar (e.g. 15) +-- given edge, on the that screen. A useful gap at top of screen for a menu bar (e.g. 15) -- -- Fields are: top, bottom, left, right. -- -defaultGap :: (Int,Int,Int,Int) -defaultGap = (0,0,0,0) -- 15 for default dzen +defaultGaps :: [(Int,Int,Int,Int)] +defaultGaps = [(0,0,0,0)] -- 15 for default dzen -- numlock handling: -- @@ -120,7 +120,8 @@ keys = M.fromList $ , ((modMask , xK_period), sendMessage (IncMasterN (-1))) -- @@ Deincrement the number of windows in the master area -- toggle the status bar gap - , ((modMask , xK_b ), modifyGap (\n -> if n == defaultGap then (0,0,0,0) else defaultGap)) -- @@ Toggle the status bar gap + , ((modMask , xK_b ), + modifyGap (\i n -> let x = defaultGaps !! i in if n == x then (0,0,0,0) else x)) -- @@ Toggle the status bar gap -- quit, or restart , ((modMask .|. shiftMask, xK_q ), io (exitWith ExitSuccess)) -- @@ Quit xmonad |