aboutsummaryrefslogtreecommitdiffstats
path: root/XMonad
diff options
context:
space:
mode:
authorSpencer Janssen <sjanssen@cse.unl.edu>2007-12-29 03:19:23 +0100
committerSpencer Janssen <sjanssen@cse.unl.edu>2007-12-29 03:19:23 +0100
commitdb02e59c201d2e5f0e2fb3cac18516f42e21dcc4 (patch)
treee3ee56a2c3ff013562d0c855a7542d6a7e8be250 /XMonad
parent7d8158d7daef1bc53ae43665fc304b505222ae43 (diff)
downloadxmonad-db02e59c201d2e5f0e2fb3cac18516f42e21dcc4.tar.gz
xmonad-db02e59c201d2e5f0e2fb3cac18516f42e21dcc4.tar.xz
xmonad-db02e59c201d2e5f0e2fb3cac18516f42e21dcc4.zip
Strictify all XConfig fields, gives nice error messages when a field is forgotten on construction
darcs-hash:20071229021923-a5988-ca68b84a0437a6d93700c864dbab8f9b46dd6855.gz
Diffstat (limited to 'XMonad')
-rw-r--r--XMonad/Core.hs30
1 files changed, 15 insertions, 15 deletions
diff --git a/XMonad/Core.hs b/XMonad/Core.hs
index 160b2a0..3b97ed3 100644
--- a/XMonad/Core.hs
+++ b/XMonad/Core.hs
@@ -73,21 +73,21 @@ data XConf = XConf
-- todo, better name
data XConfig l = XConfig
- { normalBorderColor :: !String -- ^ Non focused windows border color. Default: \"#dddddd\"
- , focusedBorderColor :: !String -- ^ Focused windows border color. Default: \"#ff0000\"
- , terminal :: !String -- ^ The preferred terminal application. Default: \"xterm\"
- , layoutHook :: !(l Window) -- ^ The available layouts
- , manageHook :: !ManageHook -- ^ The action to run when a new window is opened
- , workspaces :: [String] -- ^ The list of workspaces' names
- , defaultGaps :: [(Int,Int,Int,Int)] -- ^ The list of gaps, per screen
- , numlockMask :: !KeyMask -- ^ The numlock modifier
- , modMask :: !KeyMask -- ^ the mod modifier
- , keys :: XConfig Layout -> M.Map (ButtonMask,KeySym) (X ())
- -- ^ The key binding: a map from key presses and actions
- , mouseBindings :: XConfig Layout -> M.Map (ButtonMask, Button) (Window -> X ())
- -- ^ The mouse bindings
- , borderWidth :: !Dimension -- ^ The border width
- , logHook :: X () -- ^ The action to perform when the windows set is changed
+ { normalBorderColor :: !String -- ^ Non focused windows border color. Default: \"#dddddd\"
+ , focusedBorderColor :: !String -- ^ Focused windows border color. Default: \"#ff0000\"
+ , terminal :: !String -- ^ The preferred terminal application. Default: \"xterm\"
+ , layoutHook :: !(l Window) -- ^ The available layouts
+ , manageHook :: !ManageHook -- ^ The action to run when a new window is opened
+ , workspaces :: ![String] -- ^ The list of workspaces' names
+ , defaultGaps :: ![(Int,Int,Int,Int)] -- ^ The list of gaps, per screen
+ , numlockMask :: !KeyMask -- ^ The numlock modifier
+ , modMask :: !KeyMask -- ^ the mod modifier
+ , keys :: !(XConfig Layout -> M.Map (ButtonMask,KeySym) (X ()))
+ -- ^ The key binding: a map from key presses and actions
+ , mouseBindings :: !(XConfig Layout -> M.Map (ButtonMask, Button) (Window -> X ()))
+ -- ^ The mouse bindings
+ , borderWidth :: !Dimension -- ^ The border width
+ , logHook :: !(X ()) -- ^ The action to perform when the windows set is changed
}