diff options
author | jao <jao@gnu.org> | 2018-11-25 07:42:54 +0000 |
---|---|---|
committer | jao <jao@gnu.org> | 2018-11-25 07:42:54 +0000 |
commit | e0d6da82de8d0d1cef98896164c6016b84e47068 (patch) | |
tree | 737bf4a58bcb39ed1bb500632f11c54f9a22f192 /src/lib/Xmobar/Config.hs | |
parent | 426c931d5b0ebc6d53396c34ec38eb342be501c3 (diff) | |
download | xmobar-e0d6da82de8d0d1cef98896164c6016b84e47068.tar.gz xmobar-e0d6da82de8d0d1cef98896164c6016b84e47068.tar.bz2 |
Run.EventLoop
Diffstat (limited to 'src/lib/Xmobar/Config.hs')
-rw-r--r-- | src/lib/Xmobar/Config.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/lib/Xmobar/Config.hs b/src/lib/Xmobar/Config.hs index c38bd6f..a07af9e 100644 --- a/src/lib/Xmobar/Config.hs +++ b/src/lib/Xmobar/Config.hs @@ -48,7 +48,8 @@ data Config = , border :: Border -- ^ NoBorder TopB BottomB or FullB , borderColor :: String -- ^ Border color , borderWidth :: Int -- ^ Border width - , alpha :: Int -- ^ Transparency from 0 (transparent) to 255 (opaque) + , alpha :: Int -- ^ Transparency from 0 (transparent) + -- to 255 (opaque) , hideOnStart :: Bool -- ^ Hide (Unmap) the window on -- initialization , allDesktops :: Bool -- ^ Tell the WM to map to all desktops |