diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-07 20:47:35 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-07 20:47:35 +0100 |
| commit | 68dada84d0e3f820a38395051b374d14e12d5ff1 (patch) | |
| tree | de3f4df24922822a352b5c2d39a88e123f068180 /Plugins/EWMH.hs | |
| parent | 9ee314056f6db2596477978a297692869a7a78ed (diff) | |
| download | xmobar-68dada84d0e3f820a38395051b374d14e12d5ff1.tar.gz xmobar-68dada84d0e3f820a38395051b374d14e12d5ff1.tar.bz2 | |
New Monitor option to enable/disable '%' in displayed percentages
The option is -P, and takes either "True" (the default) or anything
else to denote False.
Diffstat (limited to 'Plugins/EWMH.hs')
0 files changed, 0 insertions, 0 deletions