From e83e407b96493662984715c3b6efd6fe9cb8deb3 Mon Sep 17 00:00:00 2001
From: Don Stewart <dons@cse.unsw.edu.au>
Date: Wed, 6 Jun 2007 06:45:44 +0200
Subject: add script which only draws current workspace, and those with clients

darcs-hash:20070606044544-9c5c1-fd7c677b267a9d8c3fc699d06c80aaac5dcb3543.gz
---
 scripts/xmonad-dynamic-workspaces.hs | 127 +++++++++++++++++++++++++++++++++++
 1 file changed, 127 insertions(+)
 create mode 100644 scripts/xmonad-dynamic-workspaces.hs

diff --git a/scripts/xmonad-dynamic-workspaces.hs b/scripts/xmonad-dynamic-workspaces.hs
new file mode 100644
index 0000000..8586c26
--- /dev/null
+++ b/scripts/xmonad-dynamic-workspaces.hs
@@ -0,0 +1,127 @@
+{-# 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:
+--
+--
+--  #!/bin/sh
+--   #
+--   # launch xmonad, with a couple of dzens to run the status bar
+--   # send xmonad state over a named pipe
+--   #
+--  FG='#a8a3f7' 
+--  BG='#3f3c6d' 
+--  FONT="-xos4-terminus-medium-r-normal--16-160-72-72-c-80-iso8859-1"
+-- 
+--  PATH=/home/dons/bin:$PATH
+-- 
+--  # clean up and old status bar pipe
+--  rm -f ~/.xmonad.pipe
+-- 
+--  # create a new one
+--  /sbin/mkfifo -m 600 ~/.xmonad.pipe
+-- 
+--  xmonad-status < ~/.xmonad.pipe | dzen2 -ta l -fg $FG -bg $BG -fn $FONT &
+--  exec xmonad > ~/.xmonad.pipe
+--
+-- 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 (int (1 + fromIntegral (tag 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) =
+        case s of
+            Empty -> empty
+            _     -> int (1 + fromIntegral i)
+
+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
-- 
cgit v1.2.3