diff -r b174e721663e -r 6d0da97105d8 ui/gtk/toolkit.c --- a/ui/gtk/toolkit.c Sat Dec 27 22:47:56 2025 +0100 +++ b/ui/gtk/toolkit.c Thu Jan 08 18:06:04 2026 +0100 @@ -239,9 +239,10 @@ gtk_widget_set_visible(widget, visible); #else if(visible) { + gtk_widget_set_no_show_all(widget, FALSE); gtk_widget_show_all(widget); } else { - gtk_widget_set_no_show_all(widget, FALSE); + gtk_widget_set_no_show_all(widget, TRUE); gtk_widget_hide(widget); } #endif @@ -281,7 +282,7 @@ free(userdata); } -void ui_destroy_vardata(GtkWidget *object, UiVarEventData *data) { +void ui_destroy_vardata(GtkWidget *unused, UiVarEventData *data) { if(data->var) { ui_destroy_boundvar(data->obj->ctx, data->var); }