--- 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 {