diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-08-22 22:42:01 +0200 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-08-22 22:42:01 +0200 |
commit | e7cadcd8dee8c2e79e338f67cb27b675aba6bac5 (patch) | |
tree | c0c470e5a0f19b6d53e6772b079197442bb9bf57 /src/Signal.hs | |
parent | 8e87d8671c06eb5acca3a4c92e569e1dba253160 (diff) | |
parent | a05c57f7aed141a8d6dc9038be177712be432b9d (diff) | |
download | xmobar-e7cadcd8dee8c2e79e338f67cb27b675aba6bac5.tar.gz xmobar-e7cadcd8dee8c2e79e338f67cb27b675aba6bac5.tar.bz2 |
Merge remote-tracking branch 'jrk/dbusstuff' into jrk
Diffstat (limited to 'src/Signal.hs')
-rw-r--r-- | src/Signal.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Signal.hs b/src/Signal.hs index 44fe4f9..8b3b325 100644 --- a/src/Signal.hs +++ b/src/Signal.hs @@ -36,9 +36,9 @@ instance Exception WakeUp data SignalType = Wakeup | Reposition | ChangeScreen - | Hide - | Reveal - | Toggle + | Hide Int + | Reveal Int + | Toggle Int | TogglePersistent deriving (Read, Show) |