246 gtk_widget_set_no_show_all(widget, !value); |
246 gtk_widget_set_no_show_all(widget, !value); |
247 #endif |
247 #endif |
248 } |
248 } |
249 |
249 |
250 void ui_set_visible(UIWIDGET widget, int visible) { |
250 void ui_set_visible(UIWIDGET widget, int visible) { |
251 // TODO: gtk4 |
251 #if GTK_MAJOR_VERSION >= 4 |
252 #if GTK_MAJOR_VERSION <= 3 |
252 gtk_widget_set_visible(widget, visible); |
|
253 #else |
253 if(visible) { |
254 if(visible) { |
254 gtk_widget_set_no_show_all(widget, FALSE); |
255 gtk_widget_set_no_show_all(widget, FALSE); |
255 gtk_widget_show_all(widget); |
256 gtk_widget_show_all(widget); |
256 } else { |
257 } else { |
257 gtk_widget_hide(widget); |
258 gtk_widget_hide(widget); |