diff options
author | Jochen Keil <jochen.keil@gmail.com> | 2012-08-10 08:42:32 +0200 |
---|---|---|
committer | Jochen Keil <jochen.keil@gmail.com> | 2012-08-10 08:42:32 +0200 |
commit | 509eee4e98b5a9a1362a87f0d88e317d08b4dec2 (patch) | |
tree | 3ea184cb8fe55e20bc96a544197e32f86a95f628 /src/Signal.hs | |
parent | 5074fdf2d6aa85ce17ad98112ec5019eb05a39c4 (diff) | |
download | xmobar-509eee4e98b5a9a1362a87f0d88e317d08b4dec2.tar.gz xmobar-509eee4e98b5a9a1362a87f0d88e317d08b4dec2.tar.bz2 |
New SignalType TogglePersistent
By sending a TogglePersistent signal the configuration option
"persistent" can be changed. Thus it is possible to hide or show xmobar
constantly.
Diffstat (limited to 'src/Signal.hs')
-rw-r--r-- | src/Signal.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Signal.hs b/src/Signal.hs index 0acdea1..ad19fdd 100644 --- a/src/Signal.hs +++ b/src/Signal.hs @@ -16,6 +16,7 @@ data SignalType = Wakeup | Hide | Reveal | Toggle + | TogglePersistent deriving (Read, Show) -- | Signal handling |