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 | |
| 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')
| -rw-r--r-- | src/Plugins/BufferedPipeReader.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Plugins/BufferedPipeReader.hs b/src/Plugins/BufferedPipeReader.hs index 04512e4..a2ea2a3 100644 --- a/src/Plugins/BufferedPipeReader.hs +++ b/src/Plugins/BufferedPipeReader.hs @@ -60,7 +60,7 @@ instance Exec BufferedPipeReader where writer tc ts otb = do (to, tg, dt, ntb) <- update cb dt - when tg $ putMVar signal Reveal + when tg $ putMVar signal $ Reveal 0 when (to /= 0) $ sfork $ reset to tg ts ntb writer tc ts ntb @@ -80,5 +80,5 @@ instance Exec BufferedPipeReader where reset to tg ts tb = do threadDelay ( to * 100 * 1000 ) readTVarIO tb >>= \b -> when b $ do - when tg $ putMVar signal Hide + when tg $ putMVar signal $ Hide 0 atomically (readTVar ts) >>= maybe (return ()) cb |