Mon Nov 2 19:53:10 2020 +0200
Delete garbage collected widgets in Window deinitialization.
Widgets should not continue to exist if there is no Window.
src/app.c | 1 + src/main.c | 1 - src/ui/window.c | 1 + 3 files changed, 2 insertions(+), 1 deletion(-)
=> Diff (Colored) | Diff (Colored, Plain Text) | 🔨 Patch
=> Parent 81c5bdec | Repository This content has been proxied by September (ba2dc).Proxy Information
text/gemini; charset=utf-8