comparison: ui/gtk/range.c
ui/gtk/range.c
- changeset 744
- 0528926422da
- parent 669
- 5b930e8c3a87
- child 801
- e096c441e874
equal
deleted
inserted
replaced
| 743:85588901880f | 744:0528926422da |
|---|---|
| 124 #ifdef UI_GTK2LEGACY | 124 #ifdef UI_GTK2LEGACY |
| 125 a->page_size = extent; | 125 a->page_size = extent; |
| 126 #else | 126 #else |
| 127 gtk_adjustment_set_page_size(a, extent); | 127 gtk_adjustment_set_page_size(a, extent); |
| 128 #endif | 128 #endif |
| 129 #if GTK_MAJOR_VERSION * 100 + GTK_MIMOR_VERSION < 318 | 129 #if !GTK_CHECK_VERSION(3, 18, 0) |
| 130 gtk_adjustment_changed(a); | 130 gtk_adjustment_changed(a); |
| 131 #endif | 131 #endif |
| 132 range->extent = extent; | 132 range->extent = extent; |
| 133 } | 133 } |
