WindowSet is better than WorkSpace

This commit is contained in:
Spencer Janssen
2007-04-19 01:54:30 +00:00
parent c858e0be4e
commit 2b6a5d25b6
2 changed files with 4 additions and 4 deletions

View File

@@ -111,7 +111,7 @@ layout f = do
refresh
-- | windows. Modify the current window list with a pure function, and refresh
windows :: (WorkSpace -> WorkSpace) -> X ()
windows :: (WindowSet -> WindowSet) -> X ()
windows f = do
modify $ \s -> s { workspace = f (workspace s) }
refresh

View File

@@ -15,7 +15,7 @@
--
module XMonad (
X, WorkSpace, WorkspaceId(..), ScreenId(..), XState(..), Layout(..), LayoutDesc(..),
X, WindowSet, WorkspaceId(..), ScreenId(..), XState(..), Layout(..), LayoutDesc(..),
runX, io, withDisplay, isRoot, spawn, trace, whenJust, rotateLayout
) where
@@ -39,7 +39,7 @@ data XState = XState
, wmprotocols :: !Atom -- ^ wm protocols atom
, dimensions :: !(Int,Int) -- ^ dimensions of the screen,
-- used for hiding windows
, workspace :: !WorkSpace -- ^ workspace list
, workspace :: !WindowSet -- ^ workspace list
, xineScreens :: ![Rectangle] -- ^ dimensions of each screen
, defaultLayoutDesc :: !LayoutDesc -- ^ default layout
@@ -47,7 +47,7 @@ data XState = XState
-- to descriptions of their layouts
}
type WorkSpace = StackSet WorkspaceId ScreenId Window
type WindowSet = StackSet WorkspaceId ScreenId Window
-- | Virtual workspace indicies
newtype WorkspaceId = W Int deriving (Eq,Ord,Show,Enum,Num,Integral,Real)