summaryrefslogtreecommitdiffhomepage
path: root/src/Plugins/EWMH.hs
diff options
context:
space:
mode:
authorJochen Keil <jochen.keil@gmail.com>2012-08-09 10:25:52 +0200
committerJochen Keil <jochen.keil@gmail.com>2012-08-09 10:48:06 +0200
commitdd78c8bfa52ba0b10e6acf8bde8d467fb02a8d4e (patch)
tree2d6f74f20578dcfb5d1ea2c1d94ee57c0757e09d /src/Plugins/EWMH.hs
parent58427c76c892334522dfb28ea2d2a858469fc65a (diff)
downloadxmobar-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