--- a/ui/gtk/toolkit.c	Sat Jun 13 12:03:09 2026 +0200
+++ b/ui/gtk/toolkit.c	Sat Jun 13 14:12:43 2026 +0200
@@ -259,7 +259,7 @@
 #endif
 }
 
-void ui_set_visible(UIWIDGET widget, UiBool visible) {
+void ui_set_visible(UIWIDGET widget, int visible) {
 #if GTK_MAJOR_VERSION >= 4
     gtk_widget_set_visible(widget, visible);
 #else