diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-09-18 08:26:31 +0300 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-09-18 08:26:31 +0300 |
| commit | 95941a8fca886ba258716c535d51d0d68d075993 (patch) | |
| tree | 0be54cd99abf2da1bbc426485c6a980546a6a3a9 /.github/workflows/docker-debian/debian-dockerfile | |
| parent | daaf3e72b472e05a4378a7789c6ebedd9b0e9b6e (diff) | |
Tracking hover widget; cleanup
The hover widget may get deleted during event processing, so Window keeps track of it for refreshing.
TODO: Random crash when a destroyed menu is still in the onTop array (?).
Diffstat (limited to '.github/workflows/docker-debian/debian-dockerfile')
0 files changed, 0 insertions, 0 deletions