--- 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;
}