diff options
author | Don Stewart <dons@cse.unsw.edu.au> | 2007-05-28 04:51:35 +0200 |
---|---|---|
committer | Don Stewart <dons@cse.unsw.edu.au> | 2007-05-28 04:51:35 +0200 |
commit | bc4224c22b9e655bde2eda9bf9374c5bff5d14c1 (patch) | |
tree | f9deeb26cc6ad1d2b87d679df182c9f65b9646b0 /Config.hs | |
parent | 01c446343402990ea85f37704733107ea69993d7 (diff) | |
download | xmonad-bc4224c22b9e655bde2eda9bf9374c5bff5d14c1.tar.gz xmonad-bc4224c22b9e655bde2eda9bf9374c5bff5d14c1.tar.xz xmonad-bc4224c22b9e655bde2eda9bf9374c5bff5d14c1.zip |
Use (Int,Int,Int,Int) for arbitrary gaps on any side of the screen
darcs-hash:20070528025135-9c5c1-3c0f63ac557da57cd268cd0129b9ce90692631e4.gz
Diffstat (limited to 'Config.hs')
-rw-r--r-- | Config.hs | 13 |
1 files changed, 9 insertions, 4 deletions
@@ -49,9 +49,14 @@ defaultDelta = 3%100 defaultWindowsInMaster :: Int defaultWindowsInMaster = 1 --- Default height of gap at top of screen for a menu bar (e.g. 15) -defaultStatusGap :: Int -defaultStatusGap = 0 -- 15 for default dzen +-- Default offset of drawable screen boundary from 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) +-- +-- Fields are: top, bottom, left, right. +-- +defaultGap :: (Int,Int,Int,Int) +defaultGap = (0,0,0,0) -- 15 for default dzen -- numlock handling: -- @@ -115,7 +120,7 @@ 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 == 0 then defaultStatusGap else 0)) -- @@ 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 -- quit, or restart , ((modMask .|. shiftMask, xK_q ), io (exitWith ExitSuccess)) -- @@ Quit xmonad |