diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-04-29 15:35:15 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-04-29 15:35:15 +0200 |
| commit | b861e1c9897d645df598f1c1ec71165aca7d064d (patch) | |
| tree | 8f4b821c35dd4b5608ac8f3e93fd193eb52c9323 /src/Plugins/Monitors/Disk.hs | |
| parent | 231f262ab4eeb9d25b86808c8d5cec9266dada3d (diff) | |
| download | xmobar-b861e1c9897d645df598f1c1ec71165aca7d064d.tar.gz xmobar-b861e1c9897d645df598f1c1ec71165aca7d064d.tar.bz2 | |
Setting some window properties before mapping
Diffstat (limited to 'src/Plugins/Monitors/Disk.hs')
0 files changed, 0 insertions, 0 deletions