ui/motif/toolkit.c

changeset 931
6ca1ef6c8107
parent 929
43cb1ea4c582
child 932
28fc967f74ef
--- a/ui/motif/toolkit.c	Sun Nov 23 10:39:51 2025 +0100
+++ b/ui/motif/toolkit.c	Sun Nov 23 10:49:24 2025 +0100
@@ -202,7 +202,7 @@
     }
 }
 
-void ui_set_visible(UIWIDGET widget, int visible) {
+void ui_set_visible(UIWIDGET widget, UiBool visible) {
     if(visible) {
         XtManageChild(widget);
     } else {

mercurial