| commit | c4a532808937c922172db7bb84d8491f7ec90f07 | |
| author | Jiri Svoboda <jiri@wiwaxia> | |
| Wed, 30 Nov 2022 18:39:42 +0000 (30 19:39 +0100) | ||
| committer | Jiri Svoboda <jiri@wiwaxia> | |
| Thu, 1 Dec 2022 14:39:56 +0000 (1 15:39 +0100) | ||
| tree | 2c6c0c72fd8e4a805dbc4bc4dc40f16bb79a9ec0 | treesnapshot (tar.gz zip) |
| parent | 68d68e9763bdb1e3051435500a9dc659c164070d | commitdiff |
Optimize redrawing of window buttons
We cache the button pich inside wndlist_t. We only repaint the entire
window list if the pitch changes. Otherwise we just (un)paint the
affected buttons.
We cache the button pich inside wndlist_t. We only repaint the entire
window list if the pitch changes. Otherwise we just (un)paint the
affected buttons.