From 971121b093a52d823bc2f0013ab25e6bc85be0d6 Mon Sep 17 00:00:00 2001
From: Spencer Janssen <sjanssen@cse.unl.edu>
Date: Wed, 17 Oct 2007 23:13:03 +0200
Subject: Allow the user to change the order of workspaces, layout, title

darcs-hash:20071017211303-a5988-72a3633166bc0daf2ed3719b2172a44a4cd05fb5.gz
---
 DynamicLog.hs | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'DynamicLog.hs')

diff --git a/DynamicLog.hs b/DynamicLog.hs
index cae7980..7dd9f0e 100644
--- a/DynamicLog.hs
+++ b/DynamicLog.hs
@@ -81,7 +81,7 @@ dynamicLogWithPP pp = do
     -- window title
     wt <- withWindowSet $ maybe (return "") (fmap show . getName) . S.peek
 
-    io . putStrLn . sepBy (ppSep pp) $
+    io . putStrLn . sepBy (ppSep pp) . ppOrder pp $
                         [ ws
                         , ppLayout pp ld
                         , ppTitle  pp wt
@@ -147,7 +147,8 @@ data PP = PP { ppCurrent, ppVisible
              , ppHidden, ppHiddenNoWindows :: WorkspaceId -> String
              , ppSep :: String
              , ppTitle :: String -> String
-             , ppLayout :: String -> String }
+             , ppLayout :: String -> String
+             , ppOrder :: [String] -> [String] }
 
 -- | The default pretty printing options, as seen in dynamicLog
 defaultPP :: PP
@@ -157,11 +158,13 @@ defaultPP = PP { ppCurrent         = wrap "[" "]"
                , ppHiddenNoWindows = const ""
                , ppSep             = " : "
                , ppTitle           = const ""
-               , ppLayout          = id }
+               , ppLayout          = id
+               , ppOrder           = id }
 
 -- | The options that sjanssen likes to use, as an example.  Note the use of
 -- 'xmobarColor' and the record update on defaultPP
 sjanssenPP :: PP
 sjanssenPP = defaultPP { ppCurrent = xmobarColor "white" "#ff000000"
                        , ppTitle = xmobarColor "#00ee00" ""
+                       , ppOrder = reverse
                        }
-- 
cgit v1.2.3