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 /XMonad.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 'XMonad.hs')
-rw-r--r-- | XMonad.hs | 25 |
1 files changed, 11 insertions, 14 deletions
@@ -37,23 +37,20 @@ import qualified Data.Map as M -- | XState, the window manager state. -- Just the display, width, height and a window list data XState = XState - { windowset :: !WindowSet -- ^ workspace list - , xineScreens :: ![Rectangle] -- ^ dimensions of each screen - , dimensions :: !(Position,Position) -- ^ dimensions of the screen, - , statusGap :: !Int -- ^ width of status bar - -- used for hiding windows - , layouts :: !(M.Map WorkspaceId (Layout, [Layout])) } + { windowset :: !WindowSet -- ^ workspace list + , xineScreens :: ![Rectangle] -- ^ dimensions of each screen + , dimensions :: !(Position,Position) -- ^ dimensions of the screen, + , statusGap :: !(Int,Int,Int,Int) -- ^ width of status bar + , layouts :: !(M.Map WorkspaceId (Layout, [Layout])) } -- ^ mapping of workspaces to descriptions of their layouts data XConf = XConf - { display :: Display -- ^ the X11 display - - , theRoot :: !Window -- ^ the root window - , wmdelete :: !Atom -- ^ window deletion atom - , wmprotocols :: !Atom -- ^ wm protocols atom - - , normalBorder :: !Color -- ^ border color of unfocused windows - , focusedBorder :: !Color } -- ^ border color of the focused window + { display :: Display -- ^ the X11 display + , theRoot :: !Window -- ^ the root window + , wmdelete :: !Atom -- ^ window deletion atom + , wmprotocols :: !Atom -- ^ wm protocols atom + , normalBorder :: !Color -- ^ border color of unfocused windows + , focusedBorder :: !Color } -- ^ border color of the focused window type WindowSet = StackSet WorkspaceId Window ScreenId |