comparison: ui/gtk/toolkit.c
ui/gtk/toolkit.c
- changeset 1194
- 91696f7fa475
- parent 1146
- 35e098a663a7
equal
deleted
inserted
replaced
| 1193:28c603de3f21 | 1194:91696f7fa475 |
|---|---|
| 257 #if GTK_MAJOR_VERSION <= 3 | 257 #if GTK_MAJOR_VERSION <= 3 |
| 258 gtk_widget_set_no_show_all(widget, !value); | 258 gtk_widget_set_no_show_all(widget, !value); |
| 259 #endif | 259 #endif |
| 260 } | 260 } |
| 261 | 261 |
| 262 void ui_set_visible(UIWIDGET widget, UiBool visible) { | 262 void ui_set_visible(UIWIDGET widget, int visible) { |
| 263 #if GTK_MAJOR_VERSION >= 4 | 263 #if GTK_MAJOR_VERSION >= 4 |
| 264 gtk_widget_set_visible(widget, visible); | 264 gtk_widget_set_visible(widget, visible); |
| 265 #else | 265 #else |
| 266 if(visible) { | 266 if(visible) { |
| 267 gtk_widget_set_no_show_all(widget, FALSE); | 267 gtk_widget_set_no_show_all(widget, FALSE); |
