summaryrefslogtreecommitdiffstats
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
commit8e52f7e22c28300dccf283baa1c19076d390c5b8 (patch)
treee3ee56a2c3ff013562d0c855a7542d6a7e8be250 /XMonad
parent6238820ab83999492513b1bedecb9af269039ac1 (diff)
downloadmetatile-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.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
}