From 0c2f42e50dbc86cacffc9c087e0a97c85c39b6c9 Mon Sep 17 00:00:00 2001 From: Travis Staton Date: Wed, 10 Sep 2014 13:16:35 -0400 Subject: Add ability to set border width --- src/Config.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/Config.hs') diff --git a/src/Config.hs b/src/Config.hs index bda8838..e7c25ad 100644 --- a/src/Config.hs +++ b/src/Config.hs @@ -54,6 +54,7 @@ data Config = , position :: XPosition -- ^ Top Bottom or Static , border :: Border -- ^ NoBorder TopB BottomB or FullB , borderColor :: String -- ^ Border color + , borderWidth :: Int -- ^ Border width , hideOnStart :: Bool -- ^ Hide (Unmap) the window on -- initialization , allDesktops :: Bool -- ^ Tell the WM to map to all desktops @@ -110,6 +111,7 @@ defaultConfig = , position = Top , border = NoBorder , borderColor = "#BFBFBF" + , borderWidth = 1 , hideOnStart = False , lowerOnStart = True , persistent = False -- cgit v1.2.3