# HG changeset patch
# User Olaf Wintermann <olaf.wintermann@gmail.com>
# Date 1607160850 -3600
# Node ID b1eac0878ce7e2111b0e6ee708fb1460d3131b07
# Parent  b3f36bfe1b4118615f12ffe8c658bd6a8be1a6b2
fix crash on window close (GTK)

diff -r b3f36bfe1b41 -r b1eac0878ce7 ui/gtk/text.c
--- a/ui/gtk/text.c	Sat Dec 05 10:32:49 2020 +0100
+++ b/ui/gtk/text.c	Sat Dec 05 10:34:10 2020 +0100
@@ -574,7 +574,9 @@
 }
 
 void ui_textfield_destroy(GtkWidget *object, UiTextField *textfield) {
-    ui_destroy_boundvar(textfield->ctx, textfield->var);
+    if(textfield->var) {
+        ui_destroy_boundvar(textfield->ctx, textfield->var);
+    }
     free(textfield);
 }