diff options
| author | Jochen Keil <jochen.keil@gmail.com> | 2012-08-09 10:25:52 +0200 |
|---|---|---|
| committer | Jochen Keil <jochen.keil@gmail.com> | 2012-08-09 10:48:06 +0200 |
| commit | dd78c8bfa52ba0b10e6acf8bde8d467fb02a8d4e (patch) | |
| tree | 2d6f74f20578dcfb5d1ea2c1d94ee57c0757e09d /src/Plugins/EWMH.hs | |
| parent | 58427c76c892334522dfb28ea2d2a858469fc65a (diff) | |
| download | xmobar-dd78c8bfa52ba0b10e6acf8bde8d467fb02a8d4e.tar.gz xmobar-dd78c8bfa52ba0b10e6acf8bde8d467fb02a8d4e.tar.bz2 | |
Implement trigger method for BufferedPipeReader Plugin
Using the trigger method activity on a pipe can now cause the window to
appear (reveal) and disappear again after a given timeout. The timeout
for hiding the window is the same as for restoring the pipes content.
The timeout value is given in tenth of seconds.
Diffstat (limited to 'src/Plugins/EWMH.hs')
0 files changed, 0 insertions, 0 deletions