spinbutton: Fix adjustment value thinko

Using ints here is wrong as it makes it impossible to e.g. edit a double
in the [0; 1] range.

diff --git a/gtk/gtkspinbutton.c b/gtk/gtkspinbutton.c
index bae263878ea11f5f83d0bd3c4fab295822688d9e..ce51cdb29d3722ef8863af7e5f8ff161bcb1b2cc 100644 (file)
--- a/gtk/gtkspinbutton.c
+++ b/gtk/gtkspinbutton.c
@@ -994,9 +994,9 @@ static void
 update_buttons_sensitivity (GtkSpinButton *spin_button)
 {
   GtkSpinButtonPrivate *priv = gtk_spin_button_get_instance_private (spin_button);
-  int lower = gtk_adjustment_get_lower (priv->adjustment);
-  int upper = gtk_adjustment_get_upper (priv->adjustment);
-  int value = gtk_adjustment_get_value (priv->adjustment);
+  const double lower = gtk_adjustment_get_lower (priv->adjustment);
+  const double upper = gtk_adjustment_get_upper (priv->adjustment);
+  const double value = gtk_adjustment_get_value (priv->adjustment);
 
   gtk_widget_set_sensitive (priv->up_button,
                             priv->wrap || upper - value > EPSILON);