diff options
author | Andrea Rossato <andrea.rossato@unibz.it> | 2007-06-13 20:59:02 +0200 |
---|---|---|
committer | Andrea Rossato <andrea.rossato@unibz.it> | 2007-06-13 20:59:02 +0200 |
commit | ff9757d5d1240ccf646635dc5e0777095fad057f (patch) | |
tree | 22dbfcebd6fe6159aa42c81ecce2bef39f6fcc44 | |
parent | bad8eab4e3b6aba4171c10ee8e99a645ef2cb1c8 (diff) | |
download | xmonad-ff9757d5d1240ccf646635dc5e0777095fad057f.tar.gz xmonad-ff9757d5d1240ccf646635dc5e0777095fad057f.tar.xz xmonad-ff9757d5d1240ccf646635dc5e0777095fad057f.zip |
haddick fine tuning
darcs-hash:20070613185902-32816-b7cd7a5c14e111abfe52918612bd6a9ee6a0c90b.gz
-rw-r--r-- | XMonad.hs | 20 |
1 files changed, 10 insertions, 10 deletions
@@ -113,9 +113,9 @@ atom_WM_DELETE_WINDOW = getAtom "WM_DELETE_WINDOW" atom_WM_STATE = getAtom "WM_STATE" ------------------------------------------------------------------------ --- Layout handling +-- | Layout handling --- | The different layout modes +-- The different layout modes -- 'doLayout', a pure function to layout a Window set 'modifyLayout', -- 'modifyLayout' can be considered a branch of an exception handler. -- @@ -125,19 +125,19 @@ data Layout = Layout { doLayout :: Rectangle -> Stack Window -> X [(Window, runLayout :: Layout -> Rectangle -> StackOrNot Window -> X [(Window, Rectangle)] runLayout l r = maybe (return []) (doLayout l r) --- Based on ideas in /An Extensible Dynamically-Typed Hierarchy of Exceptions/, +-- | Based on ideas in /An Extensible Dynamically-Typed Hierarchy of Exceptions/, -- Simon Marlow, 2006. Use extensible messages to the modifyLayout handler. -- --- User-extensible messages must be a member of this class: +-- User-extensible messages must be a member of this class. -- class Typeable a => Message a --- +-- | -- A wrapped value of some type in the Message class. -- data SomeMessage = forall a. Message a => SomeMessage a --- +-- | -- And now, unwrap a given, unknown Message type, performing a (dynamic) -- type check on the result. -- @@ -145,9 +145,9 @@ fromMessage :: Message m => SomeMessage -> Maybe m fromMessage (SomeMessage m) = cast m -- --------------------------------------------------------------------- --- General utilities - --- | Lift an IO action into the X monad +-- | General utilities +-- +-- Lift an IO action into the X monad io :: IO a -> X a io = liftIO @@ -187,7 +187,7 @@ whenJust mg f = maybe (return ()) f mg whenX :: X Bool -> X () -> X () whenX a f = a >>= \b -> when b f --- | Grab the X server (lock it) from the X monad +-- Grab the X server (lock it) from the X monad -- withServerX :: X () -> X () -- withServerX f = withDisplay $ \dpy -> do -- io $ grabServer dpy |