diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-04-25 03:54:31 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-04-25 03:54:31 +0200 |
| commit | 7137846ac7364445986e5c480ae425dc28487e5e (patch) | |
| tree | c03a93516e665be3f54e69175f48141380ce3e45 /src/Config.hs | |
| parent | c5926232e494786eb618458d743685a3f01a3c62 (diff) | |
| download | xmobar-7137846ac7364445986e5c480ae425dc28487e5e.tar.gz xmobar-7137846ac7364445986e5c480ae425dc28487e5e.tar.bz2 | |
New overrideRedirect configuration parameter
Diffstat (limited to 'src/Config.hs')
| -rw-r--r-- | src/Config.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/Config.hs b/src/Config.hs index 3eda6c3..fef27fb 100644 --- a/src/Config.hs +++ b/src/Config.hs @@ -60,6 +60,8 @@ data Config = , hideOnStart :: Bool -- ^ Hide (Unmap) the window on -- initialization , allDesktops :: Bool -- ^ Tell the WM to map to all desktops + , overrideRedirect :: Bool -- ^ Needed for dock behaviour in some + -- non-tiling WMs , lowerOnStart :: Bool -- ^ lower to the bottom of the -- window stack on initialization , persistent :: Bool -- ^ Whether automatic hiding should @@ -111,7 +113,8 @@ defaultConfig = , hideOnStart = False , lowerOnStart = True , persistent = False - , allDesktops = False + , allDesktops = True + , overrideRedirect = True , commands = [ Run $ Date "%a %b %_d %Y * %H:%M:%S" "theDate" 10 , Run StdinReader] , sepChar = "%" |