diff -r 6ca1ef6c8107 -r 28fc967f74ef ui/motif/toolkit.c
--- a/ui/motif/toolkit.c	Sun Nov 23 10:49:24 2025 +0100
+++ b/ui/motif/toolkit.c	Sun Nov 23 11:16:13 2025 +0100
@@ -202,7 +202,7 @@
     }
 }
 
-void ui_set_visible(UIWIDGET widget, UiBool visible) {
+void ui_set_visible(UIWIDGET widget, int visible) {
     if(visible) {
         XtManageChild(widget);
     } else {