diff -r 8f72e54b423e -r 9136db051f28 ui/gtk/toolkit.c --- a/ui/gtk/toolkit.c Sun Dec 28 16:13:34 2025 +0100 +++ b/ui/gtk/toolkit.c Sun Dec 28 19:01:05 2025 +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