The documentation says that Settings.get_range () should not be used in
normal application. But it avoids the duplication of range values in the
Gtk.Adjustment applied to the SpinButtons.

Another mean would have been to use constants in config.h. But this
method is less generic.