diff options
| author | Alexander Shabalin <shabalyn.a@gmail.com> | 2014-09-04 22:53:06 +0400 |
|---|---|---|
| committer | Alexander Shabalin <shabalyn.a@gmail.com> | 2014-09-14 12:03:48 +0400 |
| commit | e8e4415b7eba49d2d6ddb18ab13b3151c9a787bd (patch) | |
| tree | 2b9dabb20baafad3003b0871f99d068ea83bccca /src/Plugins/EWMH.hs | |
| parent | eb9f7a73677cc2bc872c3ea69f073faeefe6c989 (diff) | |
| download | xmobar-e8e4415b7eba49d2d6ddb18ab13b3151c9a787bd.tar.gz xmobar-e8e4415b7eba49d2d6ddb18ab13b3151c9a787bd.tar.bz2 | |
Add DynamicString as an alternative to vbars.
* DynamicString is an Int -> String which takes a value from 0..8
and produces a string with this value embedded. Usefull for replacing
vbars with icons: an icon per one of 9 states.
* API is similar to that of vbar.
* Default parser of DynamicString produces a function of `i` to a string
that replaces all occurences of "%%" with `show i`
Diffstat (limited to 'src/Plugins/EWMH.hs')
0 files changed, 0 insertions, 0 deletions