From a9fb1d440799450401bd0f1fd0f9bf93c6b318b7 Mon Sep 17 00:00:00 2001 From: Don Stewart Date: Wed, 7 Mar 2007 12:12:47 +0100 Subject: Add support for multiple workspaces Everything is in place for multiple workspaces, bar one thing: the view function. It updates thunk's idea of the current visible windows, but I don't know how to tell X to hide the current set, and instead treat the new window list as the only ones visible. See notes for 'view' at bottom of Main.hs. If we can, say, switch to a new workspace, which is empty, 'refresh' should spot this only display the root window. darcs-hash:20070307111247-9c5c1-eb211e587bc65d7fbc9dfec1ea38364691ef2a67.gz --- Main.hs | 78 ++++++++++++++++++++++++++++++++++++++++++++++++----------------- W.hs | 35 ++++++++++++----------------- 2 files changed, 72 insertions(+), 41 deletions(-) diff --git a/Main.hs b/Main.hs index 7f761f0..557a750 100644 --- a/Main.hs +++ b/Main.hs @@ -15,7 +15,8 @@ import Data.Bits hiding (rotate) import Data.List - +import qualified Data.Sequence as S +import qualified Data.Foldable as F import qualified Data.Map as M import System.IO @@ -40,8 +41,15 @@ keys = M.fromList , ((mod1Mask, xK_Tab ), focus 1) , ((mod1Mask, xK_j ), focus 1) , ((mod1Mask, xK_k ), focus (-1)) - , ((mod1Mask .|. shiftMask, xK_c ), kill) + , ((mod1Mask .|. shiftMask, xK_c ), kill) , ((mod1Mask .|. shiftMask, xK_q ), io $ exitWith ExitSuccess) + + , ((mod1Mask, xK_1 ), view 1) + , ((mod1Mask, xK_2 ), view 2) + , ((mod1Mask, xK_3 ), view 3) + , ((mod1Mask, xK_4 ), view 4) + , ((mod1Mask, xK_5 ), view 5) + ] -- @@ -55,7 +63,8 @@ main = do { display = dpy , screenWidth = displayWidth dpy dflt , screenHeight = displayHeight dpy dflt - , windows = [] } + , workspace = (0,S.fromList (replicate 5 [])) + } runW initState $ do r <- io $ rootWindow dpy dflt @@ -77,12 +86,12 @@ main = do grabKey dpy kc m r True grabModeAsync grabModeAsync -- --- The event handler +-- | handle. Handle X events -- handle :: Event -> W () -handle (MapRequestEvent {window = w}) = manage w +handle (MapRequestEvent {window = w}) = manage w handle (DestroyWindowEvent {window = w}) = unmanage w -handle (UnmapEvent {window = w}) = unmanage w +handle (UnmapEvent {window = w}) = unmanage w handle (KeyEvent {event_type = t, state = m, keycode = code}) | t == keyPress = do @@ -116,14 +125,17 @@ handle _ = return () -- refresh :: W () refresh = do - ws <- gets windows + (n,wks) <- gets workspace + let ws = wks `S.index` n case ws of - [] -> return () + [] -> return () -- do nothing. hmm. so no empty workspaces? + -- we really need to hide all non-visible windows + -- ones on other screens (w:_) -> do d <- gets display sw <- liftM fromIntegral (gets screenWidth) sh <- liftM fromIntegral (gets screenHeight) - io $ do moveResizeWindow d w 0 0 sw sh + io $ do moveResizeWindow d w 0 0 sw sh -- size raiseWindow d w -- | Modify the current window list with a pure funtion, and refresh @@ -132,23 +144,26 @@ withWindows f = do modifyWindows f refresh --- | manage. Add a new window to be managed. Bring it into focus. +-- | manage. Add a new window to be managed in the current workspace. Bring it into focus. manage :: Window -> W () manage w = do d <- gets display io $ mapWindow d w withWindows (nub . (w :)) --- | unmanage, a window no longer exists, remove it from the stack +-- | unmanage. A window no longer exists, remove it from the window +-- list, on whatever workspace unmanage :: Window -> W () unmanage w = do - ws <- gets windows - when (w `elem` ws) $ do - dpy <- gets display - io $ do grabServer dpy - sync dpy False - ungrabServer dpy - withWindows $ filter (/= w) + (_,wks) <- gets workspace + mapM_ rm (F.toList wks) + where + rm ws = when (w `elem` ws) $ do + dpy <- gets display + io $ do grabServer dpy + sync dpy False + ungrabServer dpy + withWindows $ filter (/= w) -- | focus. focus to window at offset 'n' in list. -- The currently focused window is always the head of the list @@ -162,8 +177,9 @@ spawn = io_ . runCommand -- | Kill the currently focused client kill :: W () kill = do - ws <- gets windows - dpy <- gets display + dpy <- gets display + (n,wks) <- gets workspace + let ws = wks `S.index` n case ws of [] -> return () (w:_) -> do @@ -171,3 +187,25 @@ kill = do -- sendevent(sel->win, wmatom[WMProtocols], wmatom[WMDelete]); io $ killClient dpy w -- ignoring result return () + +-- | Change the current workspace to workspce at offset 'n-1'. +view :: Int -> W () +view n = return () + +-- +-- So the problem is that I don't quite understand X here. +-- The following code will set the right list of windows to be current, +-- according to our view of things. +-- +-- We just need to tell X that it is only those in the current window +-- list that are indeed visible, and everything else is hidden. +-- +-- In particular, if we switch to a new empty workspace, nothing should +-- be visible but the root. So: how do we hide windows? +-- +{- do + let m = n-1 + modifyWorkspaces $ \old@(_,wks) -> + if m < S.length wks && m >= 0 then (m,wks) else old + refresh +-} diff --git a/W.hs b/W.hs index d46dc7a..93d8ea6 100644 --- a/W.hs +++ b/W.hs @@ -19,6 +19,7 @@ module W where import Control.Monad.State import System.IO import Graphics.X11.Xlib (Display,Window) +import qualified Data.Sequence as S -- | WState, the window manager state. -- Just the display, width, height and a window list @@ -26,18 +27,11 @@ data WState = WState { display :: Display , screenWidth :: !Int , screenHeight :: !Int - , windows :: !Windows + , workspace :: !WorkSpaces -- ^ workspace list } --- --- Multithreaded issues: --- --- We'll want a status bar, it will probably read from stdin --- but will thus need to run in its own thread, and modify its status --- bar window --- - -type Windows = [Window] +type WorkSpaces = (Int, S.Seq Windows) +type Windows = [Window] -- | The W monad, a StateT transformer over IO encapuslating the window -- manager state @@ -67,9 +61,13 @@ trace msg = io $ do -- --------------------------------------------------------------------- -- Getting at the window manager state +-- | Modify the workspace list +modifyWorkspaces :: (WorkSpaces -> WorkSpaces) -> W () +modifyWorkspaces f = modify $ \s -> s { workspace = f (workspace s) } + -- | Modify the current window list -modifyWindows :: (Windows -> Windows) -> W () -modifyWindows f = modify $ \s -> s {windows = f (windows s)} +modifyWindows :: (Windows -> Windows) -> W () +modifyWindows f = modifyWorkspaces $ \(i,wk) -> (i, S.adjust f i wk) -- --------------------------------------------------------------------- -- Generic utilities @@ -80,16 +78,11 @@ forever a = a >> forever a -- | Rotate a list by 'n' elements. -- --- for xs = [5..8] ++ [1..4] --- --- rotate 0 --- [5,6,7,8,1,2,3,4] --- --- rotate 1 --- [6,7,8,1,2,3,4,5] +-- rotate 0 --> [5,6,7,8,1,2,3,4] +-- rotate 1 --> [6,7,8,1,2,3,4,5] +-- rotate (-1) --> [4,5,6,7,8,1,2,3] -- --- rotate (-1) --- [4,5,6,7,8,1,2,3] +-- where xs = [5..8] ++ [1..4] -- rotate :: Int -> [a] -> [a] rotate n xs = take l . drop offset . cycle $ xs -- cgit v1.2.3