diff -r 2e384acc89a6 -r 4e0b38bbd6c4 ui/gtk/range.c --- a/ui/gtk/range.c Sun Nov 19 09:00:16 2017 +0100 +++ b/ui/gtk/range.c Sun Nov 19 09:38:23 2017 +0100 @@ -124,6 +124,8 @@ #else gtk_adjustment_set_page_size(a, extent); #endif +#if !(GTK_MAJOR_VERSION >= 3 && GTK_MINOR_VERSION >= 18) gtk_adjustment_changed(a); +#endif range->extent = extent; }