diff options
| author | Tomas Janousek <tomi@nomi.cz> | 2019-08-13 22:37:01 +0200 |
|---|---|---|
| committer | Tomas Janousek <tomi@nomi.cz> | 2020-02-22 18:13:35 +0000 |
| commit | 2a71487437ca4afed6f35acc1e16c2e03bfc053c (patch) | |
| tree | e7fba202b0554f9c9dca5b14d8e87cac3a50f697 /src/Xmobar/Plugins/Monitors/Disk.hs | |
| parent | 8403251f2bff2d803f2e4f3d55b363673570c3c7 (diff) | |
| download | xmobar-2a71487437ca4afed6f35acc1e16c2e03bfc053c.tar.gz xmobar-2a71487437ca4afed6f35acc1e16c2e03bfc053c.tar.bz2 | |
Refactor code from tenthSeconds to doEveryTenthSeconds
A preparation for timer coalescing: tenthSeconds is just a sleep whereas
doEveryTenthSeconds enables using a central timer and waiting for all
monitors to update before refreshing the window. This commit is just a
simple refactor, the actual timer coalescing code comes later.
Diffstat (limited to 'src/Xmobar/Plugins/Monitors/Disk.hs')
0 files changed, 0 insertions, 0 deletions