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 | 8e52f7e22c28300dccf283baa1c19076d390c5b8 (patch) | |
tree | e3ee56a2c3ff013562d0c855a7542d6a7e8be250 /XMonad | |
parent | 6238820ab83999492513b1bedecb9af269039ac1 (diff) | |
download | metatile-8e52f7e22c28300dccf283baa1c19076d390c5b8.tar metatile-8e52f7e22c28300dccf283baa1c19076d390c5b8.zip |
Strictify all XConfig fields, gives nice error messages when a field is forgotten on construction
darcs-hash:20071229021923-a5988-ca68b84a0437a6d93700c864dbab8f9b46dd6855
Diffstat (limited to 'XMonad')
-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 } |