diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-10-25 18:14:57 +0200 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-10-25 18:14:57 +0200 |
| commit | e2f606adc2df114a15a4052e18dedfd02e4bbf56 (patch) | |
| tree | 6aadb3a84996f0171e4a56c94fa909af3a95f372 /src/ui/playerui.h | |
| parent | 960eb0e87bd6b763438c90f752be47a5af009f17 (diff) | |
Window: Ensure window is redrawn after expose events
A window expose event should be treated as a refresh trigger.
IssueID #11
Diffstat (limited to 'src/ui/playerui.h')
0 files changed, 0 insertions, 0 deletions