diff options
| author | jao <jao@gnu.org> | 2018-11-21 21:07:54 +0000 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2018-11-21 21:07:54 +0000 |
| commit | 9e2a5c7daddf683d4be7c318aefed3da3ea7a89a (patch) | |
| tree | ba0cdbe46f12b74c58d5fef51daa25bb550212ae /src/Xmobar/Plugins/Monitors/Top.hs | |
| parent | b1eb899495ed996200a9e99c33bcc8f5a4896af9 (diff) | |
| download | xmobar-9e2a5c7daddf683d4be7c318aefed3da3ea7a89a.tar.gz xmobar-9e2a5c7daddf683d4be7c318aefed3da3ea7a89a.tar.bz2 | |
Padding icon idea stolen from @jonascj
Diffstat (limited to 'src/Xmobar/Plugins/Monitors/Top.hs')
0 files changed, 0 insertions, 0 deletions