Sat Sep 18 08:26:31 2021 +0300
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 (?).
src/app.c | 20 ++++++-------------- src/ui/inputwidget.c | 1 + src/ui/mobile.c | 6 +++--- src/ui/mobile.h | 2 -- src/ui/root.c | 4 +++- src/ui/touch.c | 6 +----- src/ui/widget.c | 22 +++++++++++++++------- src/ui/window.c | 6 +----- src/ui/window.h | 2 +- 9 files changed, 31 insertions(+), 38 deletions(-)
=> Diff (Colored) | Diff (Colored, Plain Text) | 🔨 Patch
=> Parent daaf3e72 | Repository This content has been proxied by September (ba2dc).Proxy Information
text/gemini; charset=utf-8