diff: ui/gtk/toolkit.c
ui/gtk/toolkit.c
- changeset 931
- 6ca1ef6c8107
- parent 872
- 1e34a27e016d
- child 942
- 488178e3e328
--- a/ui/gtk/toolkit.c Sun Nov 23 10:39:51 2025 +0100 +++ b/ui/gtk/toolkit.c Sun Nov 23 10:49:24 2025 +0100 @@ -263,7 +263,7 @@ #endif } -void ui_set_visible(UIWIDGET widget, int visible) { +void ui_set_visible(UIWIDGET widget, UiBool visible) { #if GTK_MAJOR_VERSION >= 4 gtk_widget_set_visible(widget, visible); #else
