diff options
author | jao <jao@gnu.org> | 2018-11-30 05:27:53 +0000 |
---|---|---|
committer | jao <jao@gnu.org> | 2018-11-30 05:27:53 +0000 |
commit | a9df65ad952251d2f0c837add0cfe4626d321bf8 (patch) | |
tree | 14111b70e96ab310c6d70700f32f8966059adb70 /src/Xmobar/Config/Types.hs | |
parent | fa681551411e8c74e6462f6997c37fcc38335d4d (diff) | |
download | xmobar-a9df65ad952251d2f0c837add0cfe4626d321bf8.tar.gz xmobar-a9df65ad952251d2f0c837add0cfe4626d321bf8.tar.bz2 |
Self-compilation a la xmonad
Diffstat (limited to 'src/Xmobar/Config/Types.hs')
-rw-r--r-- | src/Xmobar/Config/Types.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Xmobar/Config/Types.hs b/src/Xmobar/Config/Types.hs index ab85d5b..d59c993 100644 --- a/src/Xmobar/Config/Types.hs +++ b/src/Xmobar/Config/Types.hs @@ -64,6 +64,7 @@ data Config = , alignSep :: String -- ^ Separators for left, center and -- right text alignment , template :: String -- ^ The output template + , verbose :: Bool -- ^ Emit additional debug messages } deriving (Read) data XPosition = Top |