From b2b35e632a354fc0ffb944553adffbb58ad1e006 Mon Sep 17 00:00:00 2001
From: Matthias Schiffer <mschiffer@universe-factory.net>
Date: Sat, 16 Jul 2011 10:46:26 +0200
Subject: Allow showing desktop numbers in taskbar

---
 src/Phi.hs | 21 ++++++++++++++++++++-
 1 file changed, 20 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/Phi.hs b/src/Phi.hs
index 30a63f8..417d8f8 100644
--- a/src/Phi.hs
+++ b/src/Phi.hs
@@ -12,16 +12,35 @@ main = do
   runPhi defaultXConfig defaultPanelConfig { panelPosition = Bottom }
     [theTaskbar, brightBorder [theClock]]
     where
-      normalTaskBorder = BorderConfig (BorderWidth 2 4 2 4) 1 (BorderWidth 0 5 0 5) (0.9, 0.9, 0.9, 0.65) (0.45, 0.45, 0.45, 0.8) 5 0
+      normalTaskBorder = BorderConfig (BorderWidth 2 (-4) 2 7) 1 (BorderWidth 0 5 0 5) (0.9, 0.9, 0.9, 0.65) (0.45, 0.45, 0.45, 0.8) 5 0
       activeTaskBorder = normalTaskBorder {borderColor = (1, 1, 1, 0.65), backgroundColor = (0, 0, 0, 0.8)}
+      normalDesktopBorder = normalTaskBorder { margin = BorderWidth 2 3 2 3
+                                             , padding = BorderWidth 0 2 0 2
+                                             , borderColor = (0.75, 0.75, 0.75, 0.5)
+                                             , backgroundColor = (1, 1, 1, 0.8)
+                                             }
+      currentDesktopBorder = normalDesktopBorder { borderColor = (0.75, 0.75, 0.75, 0.8)
+                                                 , backgroundColor = (0.2, 0.2, 0.2, 0.9)
+                                                 }
       taskStyle = TaskStyle { taskFont = "Sans 7"
                             , taskColor = (1, 1, 1, 1)
                             , taskBorder = normalTaskBorder
                             , taskIconStyle = idIconStyle
                             }
+      normalDesktopStyle = DesktopStyle { desktopFont = "Sans 8"
+                                        , desktopLabelWidth = 15
+                                        , desktopLabelGap = (-5)
+                                        , desktopColor = (0, 0, 0, 1)
+                                        , desktopBorder = normalDesktopBorder
+                                        }
+      currentDesktopStyle = normalDesktopStyle { desktopBorder = currentDesktopBorder
+                                               , desktopColor = (1, 1, 1, 1)
+                                               }
+                        
       
       theTaskbar = taskbar defaultTaskbarConfig { normalTaskStyle = taskStyle {taskIconStyle = desaturateIconStyle 0.7}
                                                 , activeTaskStyle = taskStyle {taskBorder = activeTaskBorder}
+                                                , desktopStyle = Just (normalDesktopStyle, currentDesktopStyle)
                                                 }
       
       theClock = clock defaultClockConfig { clockFormat = "<span font='Sans 8'>%R</span>\n<span font='Sans 6'>%A %d %B</span>"
-- 
cgit v1.2.3