comparison: ui/gtk/toolkit.c
ui/gtk/toolkit.c
- changeset 1032
- 9136db051f28
- parent 1016
- ccde46662db7
equal
deleted
inserted
replaced
| 1031:8f72e54b423e | 1032:9136db051f28 |
|---|---|
| 237 void ui_set_visible(UIWIDGET widget, UiBool visible) { | 237 void ui_set_visible(UIWIDGET widget, UiBool visible) { |
| 238 #if GTK_MAJOR_VERSION >= 4 | 238 #if GTK_MAJOR_VERSION >= 4 |
| 239 gtk_widget_set_visible(widget, visible); | 239 gtk_widget_set_visible(widget, visible); |
| 240 #else | 240 #else |
| 241 if(visible) { | 241 if(visible) { |
| 242 gtk_widget_set_no_show_all(widget, FALSE); | |
| 242 gtk_widget_show_all(widget); | 243 gtk_widget_show_all(widget); |
| 243 } else { | 244 } else { |
| 244 gtk_widget_set_no_show_all(widget, FALSE); | 245 gtk_widget_set_no_show_all(widget, TRUE); |
| 245 gtk_widget_hide(widget); | 246 gtk_widget_hide(widget); |
| 246 } | 247 } |
| 247 #endif | 248 #endif |
| 248 } | 249 } |
| 249 | 250 |
