diff options
author | Spencer Janssen <sjanssen@cse.unl.edu> | 2007-12-29 03:19:23 +0100 |
---|---|---|
committer | Spencer Janssen <sjanssen@cse.unl.edu> | 2007-12-29 03:19:23 +0100 |
commit | db02e59c201d2e5f0e2fb3cac18516f42e21dcc4 (patch) | |
tree | e3ee56a2c3ff013562d0c855a7542d6a7e8be250 /XMonad/Core.hs | |
parent | 7d8158d7daef1bc53ae43665fc304b505222ae43 (diff) | |
download | xmonad-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/Core.hs')
-rw-r--r-- | XMonad/Core.hs | 30 |
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 } |