comparison: ui/gtk/toolkit.c
ui/gtk/toolkit.c
- changeset 931
- 6ca1ef6c8107
- parent 872
- 1e34a27e016d
- child 942
- 488178e3e328
equal
deleted
inserted
replaced
| 930:4ce8df2311f0 | 931:6ca1ef6c8107 |
|---|---|
| 261 #if GTK_MAJOR_VERSION <= 3 | 261 #if GTK_MAJOR_VERSION <= 3 |
| 262 gtk_widget_set_no_show_all(widget, !value); | 262 gtk_widget_set_no_show_all(widget, !value); |
| 263 #endif | 263 #endif |
| 264 } | 264 } |
| 265 | 265 |
| 266 void ui_set_visible(UIWIDGET widget, int visible) { | 266 void ui_set_visible(UIWIDGET widget, UiBool visible) { |
| 267 #if GTK_MAJOR_VERSION >= 4 | 267 #if GTK_MAJOR_VERSION >= 4 |
| 268 gtk_widget_set_visible(widget, visible); | 268 gtk_widget_set_visible(widget, visible); |
| 269 #else | 269 #else |
| 270 if(visible) { | 270 if(visible) { |
| 271 gtk_widget_set_no_show_all(widget, FALSE); | 271 gtk_widget_set_no_show_all(widget, FALSE); |
