| commit | 5d86797880f0b93e7e77968366d64df9d54722c0 | |
| author | Jiri Svoboda <jiri@wiwaxia> | |
| Wed, 4 Jan 2023 20:48:35 +0000 (4 21:48 +0100) | ||
| committer | Jiri Svoboda <jiri@wiwaxia> | |
| Wed, 4 Jan 2023 20:48:35 +0000 (4 21:48 +0100) | ||
| tree | 349c4f9a49e2fb78527fd4aedcf8e31f77f71de2 | treesnapshot (tar.gz zip) |
| parent | 3c54869a5b618845c19d4f6200ee90ac99a446aa | commitdiff |
Need to update GC when unpainting a button
This caused nothing to happen when the last window was closed until
the next second ticked and the task bar was repainted because of
the clock.
This caused nothing to happen when the last window was closed until
the next second ticked and the task bar was repainted because of
the clock.
| uspace/app/taskbar/wndlist.c | diffblobblamehistory |