summaryrefslogtreecommitdiffhomepage
path: root/src/Plugins/PipeReader2.hs
diff options
context:
space:
mode:
authorJochen Keil <jochen.keil@gmail.com>2012-08-22 20:52:52 +0200
committerJochen Keil <jochen.keil@gmail.com>2012-08-22 21:27:18 +0200
commitfefeae79de28446d46dc21e193aa34fcd4fe9002 (patch)
tree97250603df41b6a6cf66a8c0b0e0cd483dd55c89 /src/Plugins/PipeReader2.hs
parent68f9f51cd7e20190e1ef2fd95beaf7c852f11c81 (diff)
downloadxmobar-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/PipeReader2.hs')
0 files changed, 0 insertions, 0 deletions