diff -r 4ce8df2311f0 -r 6ca1ef6c8107 ui/gtk/toolkit.c
--- 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