mirror of
https://github.com/xmonad/xmonad.git
synced 2025-08-06 07:01:52 -07:00
XMonad
This commit is contained in:
38
Main.hs
38
Main.hs
@@ -26,7 +26,7 @@ import Graphics.X11.Xlib.Extras
|
|||||||
import Numeric
|
import Numeric
|
||||||
import Control.Monad.State
|
import Control.Monad.State
|
||||||
|
|
||||||
import WMonad
|
import XMonad
|
||||||
import qualified StackSet as W
|
import qualified StackSet as W
|
||||||
|
|
||||||
--
|
--
|
||||||
@@ -38,7 +38,7 @@ workspaces = 9
|
|||||||
--
|
--
|
||||||
-- The keys list
|
-- The keys list
|
||||||
--
|
--
|
||||||
keys :: M.Map (KeyMask, KeySym) (W ())
|
keys :: M.Map (KeyMask, KeySym) (X ())
|
||||||
keys = M.fromList $
|
keys = M.fromList $
|
||||||
[ ((mod1Mask .|. shiftMask, xK_Return), spawn "xterm")
|
[ ((mod1Mask .|. shiftMask, xK_Return), spawn "xterm")
|
||||||
, ((mod1Mask, xK_p ), spawn "exe=`dmenu_path | dmenu` && exec $exe")
|
, ((mod1Mask, xK_p ), spawn "exe=`dmenu_path | dmenu` && exec $exe")
|
||||||
@@ -61,7 +61,7 @@ main :: IO ()
|
|||||||
main = do
|
main = do
|
||||||
dpy <- openDisplay ""
|
dpy <- openDisplay ""
|
||||||
let dflt = defaultScreen dpy
|
let dflt = defaultScreen dpy
|
||||||
st = WState
|
st = XState
|
||||||
{ display = dpy
|
{ display = dpy
|
||||||
, screenWidth = displayWidth dpy dflt
|
, screenWidth = displayWidth dpy dflt
|
||||||
, screenHeight = displayHeight dpy dflt
|
, screenHeight = displayHeight dpy dflt
|
||||||
@@ -80,7 +80,7 @@ main = do
|
|||||||
|
|
||||||
ws <- scan dpy rootw
|
ws <- scan dpy rootw
|
||||||
allocaXEvent $ \e ->
|
allocaXEvent $ \e ->
|
||||||
runW st $ do
|
runX st $ do
|
||||||
mapM_ manage ws
|
mapM_ manage ws
|
||||||
forever $ handle =<< xevent dpy e
|
forever $ handle =<< xevent dpy e
|
||||||
where
|
where
|
||||||
@@ -89,7 +89,7 @@ main = do
|
|||||||
forever a = a >> forever a
|
forever a = a >> forever a
|
||||||
|
|
||||||
-- ---------------------------------------------------------------------
|
-- ---------------------------------------------------------------------
|
||||||
-- IO stuff. Doesn't require any W state
|
-- IO stuff. Doesn't require any X state
|
||||||
-- Most of these things run only on startup (bar grabkeys)
|
-- Most of these things run only on startup (bar grabkeys)
|
||||||
|
|
||||||
-- | scan for any initial windows to manage
|
-- | scan for any initial windows to manage
|
||||||
@@ -123,18 +123,18 @@ grabKeys dpy rootw = do
|
|||||||
-- [Expose] = expose,
|
-- [Expose] = expose,
|
||||||
-- [PropertyNotify] = propertynotify,
|
-- [PropertyNotify] = propertynotify,
|
||||||
--
|
--
|
||||||
-- Todo: seperate IO from W monad stuff. We want to be able to test the
|
-- Todo: seperate IO from X monad stuff. We want to be able to test the
|
||||||
-- handler, and client functions, with dummy X interface ops, in QuickCheck
|
-- handler, and client functions, with dummy X interface ops, in QuickCheck
|
||||||
--
|
--
|
||||||
-- Will require an abstract interpreter from Event -> W Action, which
|
-- Will require an abstract interpreter from Event -> X Action, which
|
||||||
-- modifies the internal W state, and then produces an IO action to
|
-- modifies the internal X state, and then produces an IO action to
|
||||||
-- evaluate.
|
-- evaluate.
|
||||||
--
|
--
|
||||||
-- XCreateWindowEvent(3X11)
|
-- XCreateWindowEvent(3X11)
|
||||||
-- Window manager clients normally should ignore this window if the
|
-- Window manager clients normally should ignore this window if the
|
||||||
-- override_redirect member is True.
|
-- override_redirect member is True.
|
||||||
--
|
--
|
||||||
handle :: Event -> W ()
|
handle :: Event -> X ()
|
||||||
|
|
||||||
handle (MapRequestEvent {window = w}) = withDisplay $ \dpy -> do
|
handle (MapRequestEvent {window = w}) = withDisplay $ \dpy -> do
|
||||||
wa <- io $ getWindowAttributes dpy w
|
wa <- io $ getWindowAttributes dpy w
|
||||||
@@ -204,7 +204,7 @@ handle e = trace (eventName e) -- ignoring
|
|||||||
|
|
||||||
-- | refresh. Refresh the currently focused window. Resizes to full
|
-- | refresh. Refresh the currently focused window. Resizes to full
|
||||||
-- screen and raises the window.
|
-- screen and raises the window.
|
||||||
refresh :: W ()
|
refresh :: X ()
|
||||||
refresh = do
|
refresh = do
|
||||||
ws <- gets workspace
|
ws <- gets workspace
|
||||||
whenJust (W.peek ws) $ \w ->
|
whenJust (W.peek ws) $ \w ->
|
||||||
@@ -215,18 +215,18 @@ refresh = do
|
|||||||
raiseWindow d w
|
raiseWindow d w
|
||||||
|
|
||||||
-- | hide. Hide a list of windows by moving them offscreen.
|
-- | hide. Hide a list of windows by moving them offscreen.
|
||||||
hide :: Window -> W ()
|
hide :: Window -> X ()
|
||||||
hide w = withDisplay $ \d -> do
|
hide w = withDisplay $ \d -> do
|
||||||
sw <- gets screenWidth
|
sw <- gets screenWidth
|
||||||
sh <- gets screenHeight
|
sh <- gets screenHeight
|
||||||
io $! moveWindow d w (2*fromIntegral sw) (2*fromIntegral sh)
|
io $! moveWindow d w (2*fromIntegral sw) (2*fromIntegral sh)
|
||||||
|
|
||||||
-- | reveal. Expose a list of windows, moving them on screen
|
-- | reveal. Expose a list of windows, moving them on screen
|
||||||
reveal :: Window -> W ()
|
reveal :: Window -> X ()
|
||||||
reveal w = withDisplay $ \d -> io $! moveWindow d w 0 0
|
reveal w = withDisplay $ \d -> io $! moveWindow d w 0 0
|
||||||
|
|
||||||
-- | windows. Modify the current window list with a pure function, and refresh
|
-- | windows. Modify the current window list with a pure function, and refresh
|
||||||
windows :: (WorkSpace -> WorkSpace) -> W ()
|
windows :: (WorkSpace -> WorkSpace) -> X ()
|
||||||
windows f = do
|
windows f = do
|
||||||
modify $ \s -> s { workspace = f (workspace s) }
|
modify $ \s -> s { workspace = f (workspace s) }
|
||||||
refresh
|
refresh
|
||||||
@@ -241,7 +241,7 @@ windows f = do
|
|||||||
--
|
--
|
||||||
-- When we start to manage a window, it gains focus.
|
-- When we start to manage a window, it gains focus.
|
||||||
--
|
--
|
||||||
manage :: Window -> W ()
|
manage :: Window -> X ()
|
||||||
manage w = do
|
manage w = do
|
||||||
trace ("Managing window: 0x" ++ showHex w (", " ++ show w))
|
trace ("Managing window: 0x" ++ showHex w (", " ++ show w))
|
||||||
withDisplay $ \d -> io $ do
|
withDisplay $ \d -> io $ do
|
||||||
@@ -252,7 +252,7 @@ manage w = do
|
|||||||
|
|
||||||
-- | unmanage. A window no longer exists, remove it from the window
|
-- | unmanage. A window no longer exists, remove it from the window
|
||||||
-- list, on whatever workspace it is.
|
-- list, on whatever workspace it is.
|
||||||
unmanage :: Window -> W ()
|
unmanage :: Window -> X ()
|
||||||
unmanage w = do
|
unmanage w = do
|
||||||
ws <- gets workspace
|
ws <- gets workspace
|
||||||
when (W.member w ws) $ do
|
when (W.member w ws) $ do
|
||||||
@@ -261,11 +261,11 @@ unmanage w = do
|
|||||||
|
|
||||||
-- | raise. focus to window at offset 'n' in list.
|
-- | raise. focus to window at offset 'n' in list.
|
||||||
-- The currently focused window is always the head of the list
|
-- The currently focused window is always the head of the list
|
||||||
raise :: Ordering -> W ()
|
raise :: Ordering -> X ()
|
||||||
raise = windows . W.rotate
|
raise = windows . W.rotate
|
||||||
|
|
||||||
-- | Kill the currently focused client
|
-- | Kill the currently focused client
|
||||||
kill :: W ()
|
kill :: X ()
|
||||||
kill = withDisplay $ \d -> do
|
kill = withDisplay $ \d -> do
|
||||||
ws <- gets workspace
|
ws <- gets workspace
|
||||||
whenJust (W.peek ws) $ \w -> do
|
whenJust (W.peek ws) $ \w -> do
|
||||||
@@ -273,7 +273,7 @@ kill = withDisplay $ \d -> do
|
|||||||
io (killClient d w) >> return ()
|
io (killClient d w) >> return ()
|
||||||
|
|
||||||
-- | tag. Move a window to a new workspace
|
-- | tag. Move a window to a new workspace
|
||||||
tag :: Int -> W ()
|
tag :: Int -> X ()
|
||||||
tag o = do
|
tag o = do
|
||||||
ws <- gets workspace
|
ws <- gets workspace
|
||||||
let m = W.current ws
|
let m = W.current ws
|
||||||
@@ -284,7 +284,7 @@ tag o = do
|
|||||||
where n = o-1
|
where n = o-1
|
||||||
|
|
||||||
-- | view. Change the current workspace to workspce at offset 'n-1'.
|
-- | view. Change the current workspace to workspce at offset 'n-1'.
|
||||||
view :: Int -> W ()
|
view :: Int -> X ()
|
||||||
view o = do
|
view o = do
|
||||||
ws <- gets workspace
|
ws <- gets workspace
|
||||||
let m = W.current ws
|
let m = W.current ws
|
||||||
|
@@ -1,6 +1,6 @@
|
|||||||
-----------------------------------------------------------------------------
|
-----------------------------------------------------------------------------
|
||||||
-- |
|
-- |
|
||||||
-- Module : WMonad.hs
|
-- Module : XMonad.hs
|
||||||
-- Copyright : (c) Spencer Janssen 2007
|
-- Copyright : (c) Spencer Janssen 2007
|
||||||
-- License : BSD3-style (see LICENSE)
|
-- License : BSD3-style (see LICENSE)
|
||||||
--
|
--
|
||||||
@@ -10,12 +10,12 @@
|
|||||||
--
|
--
|
||||||
-----------------------------------------------------------------------------
|
-----------------------------------------------------------------------------
|
||||||
--
|
--
|
||||||
-- The W monad, a state monad transformer over IO, for the window
|
-- The X monad, a state monad transformer over IO, for the window
|
||||||
-- manager state, and support routines.
|
-- manager state, and support routines.
|
||||||
--
|
--
|
||||||
|
|
||||||
module WMonad (
|
module XMonad (
|
||||||
W, WorkSpace, WState(..),runW, withDisplay, io, spawn, trace, whenJust
|
X, WorkSpace, XState(..),runX, withDisplay, io, spawn, trace, whenJust
|
||||||
) where
|
) where
|
||||||
|
|
||||||
import StackSet (StackSet)
|
import StackSet (StackSet)
|
||||||
@@ -25,9 +25,9 @@ import System.IO
|
|||||||
import System.Process (runCommand)
|
import System.Process (runCommand)
|
||||||
import Graphics.X11.Xlib (Display,Window)
|
import Graphics.X11.Xlib (Display,Window)
|
||||||
|
|
||||||
-- | WState, the window manager state.
|
-- | XState, the window manager state.
|
||||||
-- Just the display, width, height and a window list
|
-- Just the display, width, height and a window list
|
||||||
data WState = WState
|
data XState = XState
|
||||||
{ display :: Display
|
{ display :: Display
|
||||||
, screenWidth :: {-# UNPACK #-} !Int
|
, screenWidth :: {-# UNPACK #-} !Int
|
||||||
, screenHeight :: {-# UNPACK #-} !Int
|
, screenHeight :: {-# UNPACK #-} !Int
|
||||||
@@ -36,36 +36,36 @@ data WState = WState
|
|||||||
|
|
||||||
type WorkSpace = StackSet Window
|
type WorkSpace = StackSet Window
|
||||||
|
|
||||||
-- | The W monad, a StateT transformer over IO encapuslating the window
|
-- | The X monad, a StateT transformer over IO encapuslating the window
|
||||||
-- manager state
|
-- manager state
|
||||||
newtype W a = W (StateT WState IO a)
|
newtype X a = X (StateT XState IO a)
|
||||||
deriving (Functor, Monad, MonadIO, MonadState WState)
|
deriving (Functor, Monad, MonadIO, MonadState XState)
|
||||||
|
|
||||||
-- | Run the W monad, given a chunk of W monad code, and an initial state
|
-- | Run the X monad, given a chunk of X monad code, and an initial state
|
||||||
-- Return the result, and final state
|
-- Return the result, and final state
|
||||||
runW :: WState -> W a -> IO ()
|
runX :: XState -> X a -> IO ()
|
||||||
runW st (W a) = runStateT a st >> return ()
|
runX st (X a) = runStateT a st >> return ()
|
||||||
|
|
||||||
-- | Run a monad action with the current display settings
|
-- | Run a monad action with the current display settings
|
||||||
withDisplay :: (Display -> W ()) -> W ()
|
withDisplay :: (Display -> X ()) -> X ()
|
||||||
withDisplay f = gets display >>= f
|
withDisplay f = gets display >>= f
|
||||||
|
|
||||||
------------------------------------------------------------------------
|
------------------------------------------------------------------------
|
||||||
|
|
||||||
-- | Lift an IO action into the W monad
|
-- | Lift an IO action into the X monad
|
||||||
io :: IO a -> W a
|
io :: IO a -> X a
|
||||||
io = liftIO
|
io = liftIO
|
||||||
{-# INLINE io #-}
|
{-# INLINE io #-}
|
||||||
|
|
||||||
-- | spawn. Launch an external application
|
-- | spawn. Launch an external application
|
||||||
spawn :: String -> W ()
|
spawn :: String -> X ()
|
||||||
spawn x = io (runCommand x) >> return ()
|
spawn x = io (runCommand x) >> return ()
|
||||||
|
|
||||||
-- | Run a side effecting action with the current workspace. Like 'when' but
|
-- | Run a side effecting action with the current workspace. Like 'when' but
|
||||||
whenJust :: Maybe a -> (a -> W ()) -> W ()
|
whenJust :: Maybe a -> (a -> X ()) -> X ()
|
||||||
whenJust mg f = maybe (return ()) f mg
|
whenJust mg f = maybe (return ()) f mg
|
||||||
|
|
||||||
-- | A 'trace' for the W monad. Logs a string to stderr. The result may
|
-- | A 'trace' for the X monad. Logs a string to stderr. The result may
|
||||||
-- be found in your .xsession-errors file
|
-- be found in your .xsession-errors file
|
||||||
trace :: String -> W ()
|
trace :: String -> X ()
|
||||||
trace msg = io $! do hPutStrLn stderr msg; hFlush stderr
|
trace msg = io $! do hPutStrLn stderr msg; hFlush stderr
|
Reference in New Issue
Block a user