twin/xmonad-contrib
1
0
Fork 0
mirror of https://github.com/xmonad/xmonad-contrib.git synced 2025-05-19 03:20:21 -07:00
Code Issues Packages Projects Releases Wiki Activity

nicer format for dynamic workspaces

Browse Source
This commit is contained in:
Don Stewart 2007-06-06 04:57:05 +00:00
parent 8b12639de4
commit 206b3557e8
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
scripts/xmonad-dynamic-workspaces.hs
View File

@ -45,7 +45,6 @@ import StackSet
import XMonad import XMonad
import System.IO import System.IO
import Text.PrettyPrint import Text.PrettyPrint
import Graphics.X11.Types (Window)
-- --
-- parse the StackSet output, and print it in the form: -- parse the StackSet output, and print it in the form:
@ -63,7 +62,7 @@ main = forever $ getLine >>= readIO >>= draw
-- --
-- All the magic is in the 'ppr' instances, below. -- All the magic is in the 'ppr' instances, below.
-- --
draw :: WindowSet -> IO () draw :: WS -> IO ()
draw s = do putStrLn . render . ppr $ s draw s = do putStrLn . render . ppr $ s
hFlush stdout hFlush stdout
@ -77,7 +76,7 @@ class Pretty a where
-- --
-- And instances for the StackSet layers -- And instances for the StackSet layers
-- --
instance Pretty WindowSet where instance Pretty WS where
ppr (StackSet { current = cws -- the different workspaces ppr (StackSet { current = cws -- the different workspaces
, visible = vws , visible = vws
, hidden = hws }) = ppr (sortBy tags workspaces) , hidden = hws }) = ppr (sortBy tags workspaces)
@ -94,7 +93,7 @@ instance Pretty WindowSet where
instance Pretty TaggedW where instance Pretty TaggedW where
ppr (C w) = brackets (int (1 + fromIntegral (tag w))) -- [1] ppr (C w) = brackets (int (1 + fromIntegral (tag w))) -- [1]
ppr (V w) = parens (ppr w) -- <2> ppr (V w) = parens (ppr w) -- <2>
ppr (H w) = char ' ' <> ppr w <> char ' ' -- 3 ppr (H w) = ppr w
-- tags are printed as integers (or map them to strings) -- tags are printed as integers (or map them to strings)
instance Pretty W where instance Pretty W where
@ -102,7 +101,7 @@ instance Pretty W where
ppr (Workspace i s) = ppr (Workspace i s) =
case s of case s of
Empty -> empty Empty -> empty
_ -> int (1 + fromIntegral i) _ -> char ' ' <> int (1 + fromIntegral i) <> char ' '
instance Pretty a => Pretty [a] where instance Pretty a => Pretty [a] where
ppr [] = empty ppr [] = empty
@ -113,7 +112,8 @@ instance Pretty a => Pretty [a] where
-- Some type information for the pretty printer -- Some type information for the pretty printer
-- We have a fixed workspace type -- We have a fixed workspace type
type W = Workspace WorkspaceId Window type W = Workspace WorkspaceId Int
type WS = StackSet WorkspaceId Int ScreenId
-- Introduce a newtype to distinguish different workspace flavours -- Introduce a newtype to distinguish different workspace flavours
data TaggedW = C W -- current data TaggedW = C W -- current