diff options
| author | Jochen Keil <jochen.keil@gmail.com> | 2012-08-22 20:52:52 +0200 |
|---|---|---|
| committer | Jochen Keil <jochen.keil@gmail.com> | 2012-08-22 21:27:18 +0200 |
| commit | fefeae79de28446d46dc21e193aa34fcd4fe9002 (patch) | |
| tree | 97250603df41b6a6cf66a8c0b0e0cd483dd55c89 /src/Plugins/EWMH.hs | |
| parent | 68f9f51cd7e20190e1ef2fd95beaf7c852f11c81 (diff) | |
| download | xmobar-fefeae79de28446d46dc21e193aa34fcd4fe9002.tar.gz xmobar-fefeae79de28446d46dc21e193aa34fcd4fe9002.tar.bz2 | |
Make it possible to delay Hide, Reveal and Toggle signals
Previously Hide, Reveal and Toggle were immediate actions. This is the
same behaviour as if called now with 0 as parameter.
If the parameter is a positive non zero value it is taken as a delay for
the requested action.
After the delay (implemented using threadDelay) a new signal is sent
with zero with no timeout being effective immediately. This is necessary
to evaluate the persistency flag after the delay because it might have
changed in the meantime.
Effectively this means that it is possible to cancel the delayed
operation by calling TogglePersistent.
Diffstat (limited to 'src/Plugins/EWMH.hs')
0 files changed, 0 insertions, 0 deletions