diff options
| author | Jochen Keil <jochen.keil@gmail.com> | 2012-08-10 08:36:03 +0200 |
|---|---|---|
| committer | Jochen Keil <jochen.keil@gmail.com> | 2012-08-10 08:40:43 +0200 |
| commit | 5074fdf2d6aa85ce17ad98112ec5019eb05a39c4 (patch) | |
| tree | 2ce5fdf3abcb61db4d70b75e0341c33c4b0c6833 /src/Plugins/Monitors/Common.hs | |
| parent | 6c456e9e1f881fd70e9c1b357edfc5d63f7a3204 (diff) | |
| download | xmobar-5074fdf2d6aa85ce17ad98112ec5019eb05a39c4.tar.gz xmobar-5074fdf2d6aa85ce17ad98112ec5019eb05a39c4.tar.bz2 | |
New configuration option "persistent"
When persistent is set to True then xmobar will always be mapped
(revealed) and never be hidden.
The flag is checked in eventLoop and operation to map/unmap windows is
not carried out if persistence is desired.
Diffstat (limited to 'src/Plugins/Monitors/Common.hs')
0 files changed, 0 insertions, 0 deletions