ui/motif/toolkit.c

changeset 932
28fc967f74ef
parent 931
6ca1ef6c8107
child 956
4cdfbfd2038d
--- 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 {

mercurial