mirror of
https://github.com/xmonad/xmonad-contrib.git
synced 2025-05-19 03:20:21 -07:00
remove dead version
This commit is contained in:
parent
3268312b15
commit
0055e337e0
@ -1,125 +0,0 @@
|
||||
{-# OPTIONS -fglasgow-exts #-}
|
||||
-----------------------------------------------------------------------------
|
||||
-- |
|
||||
-- Module : xmonad-status.hs
|
||||
-- Copyright : (c) Don Stewart 2007
|
||||
-- License : BSD3-style
|
||||
-- Maintainer : dons@cse.unsw.edu.au
|
||||
--
|
||||
-- An external statusbar-client for xmonad.
|
||||
--
|
||||
-- Prints the workspaces in a simple form, read from the logging output
|
||||
-- of xmonad.
|
||||
--
|
||||
-- An example use:
|
||||
--
|
||||
-- xmonad | xmonad-status | dzen2 -ta l -fg '#a8a3f7' -bg '#3f3c6d'
|
||||
--
|
||||
-- Creates a workspace table on the left side of the screen.
|
||||
--
|
||||
-- A version that perfectly emulates wmii or dwm could be distributed.
|
||||
--
|
||||
-----------------------------------------------------------------------------
|
||||
|
||||
import Data.List
|
||||
import StackSet
|
||||
import XMonad
|
||||
import System.IO
|
||||
import Text.PrettyPrint
|
||||
import Graphics.X11.Types (Window)
|
||||
|
||||
--
|
||||
-- parse the StackSet output, and print it in the form:
|
||||
--
|
||||
-- *[1] 2 *3 *4 5 6 7 8
|
||||
--
|
||||
-- It's an example of how to write a Haskell script to hack
|
||||
-- the structure defined in StackSet.hs
|
||||
--
|
||||
|
||||
main = forever $ getLine >>= readIO >>= draw
|
||||
where
|
||||
forever a = a >> forever a
|
||||
|
||||
--
|
||||
-- All the magic is in the 'ppr' instances, below.
|
||||
--
|
||||
draw :: WindowSet -> IO ()
|
||||
draw s = do putStrLn . render . ppr $ s
|
||||
hFlush stdout
|
||||
|
||||
-- ---------------------------------------------------------------------
|
||||
--
|
||||
-- A simple recursive descent pretty printer for the StackSet type.
|
||||
--
|
||||
class Pretty a where
|
||||
ppr :: a -> Doc
|
||||
|
||||
--
|
||||
-- And instances for the StackSet layers
|
||||
--
|
||||
instance Pretty WindowSet where
|
||||
ppr (StackSet { current = cws -- the different workspaces
|
||||
, visible = vws
|
||||
, hidden = hws }) = ppr (sortBy tags workspaces)
|
||||
where
|
||||
-- tag each workspace with its flavour
|
||||
workspaces = C (workspace cws) : map (V . workspace) vws ++ map H hws
|
||||
|
||||
-- sort them by their tags
|
||||
tags a b = (tag.unWrap) a `compare` (tag.unWrap) b
|
||||
|
||||
--
|
||||
-- How to print each workspace kind
|
||||
--
|
||||
instance Pretty TaggedW where
|
||||
ppr (C w) = brackets (ppr w) -- [1]
|
||||
ppr (V w) = parens (ppr w) -- <2>
|
||||
ppr (H w) = char ' ' <> ppr w <> char ' ' -- 3
|
||||
|
||||
-- tags are printed as integers (or map them to strings)
|
||||
instance Pretty W where
|
||||
-- Just print int tags:
|
||||
ppr (Workspace i s) = int (1 + fromIntegral i) <> ppr s
|
||||
|
||||
{-
|
||||
ppr (Workspace i s) =
|
||||
hcat [ppr s
|
||||
,int (1 + fromIntegral i)
|
||||
,char ':'
|
||||
,text tag]
|
||||
where
|
||||
tag | Just t <- lookup i tags = t
|
||||
| otherwise = "dev"
|
||||
|
||||
tags = zip [0..8] ["irc","web","ghc"]
|
||||
-}
|
||||
|
||||
|
||||
-- non-empty stacks get a '*'
|
||||
instance Pretty (Stack Window) where
|
||||
ppr Empty = empty
|
||||
ppr _ = char '*'
|
||||
|
||||
-- lists are printed with whitespace
|
||||
instance Pretty a => Pretty [a] where
|
||||
ppr [] = empty
|
||||
ppr (x:xs) = ppr x <> ppr xs
|
||||
|
||||
|
||||
-- ---------------------------------------------------------------------
|
||||
-- Some type information for the pretty printer
|
||||
|
||||
-- We have a fixed workspace type
|
||||
type W = Workspace WorkspaceId Window
|
||||
|
||||
-- Introduce a newtype to distinguish different workspace flavours
|
||||
data TaggedW = C W -- current
|
||||
| V W -- visible
|
||||
| H W -- hidden
|
||||
|
||||
-- And the ability to unwrap tagged workspaces
|
||||
unWrap :: TaggedW -> W
|
||||
unWrap (C w) = w
|
||||
unWrap (V w) = w
|
||||
unWrap (H w) = w
|
Loading…
x
Reference in New Issue
Block a user