diff --git a/collects/mred/private/wx/gtk/slider.rkt b/collects/mred/private/wx/gtk/slider.rkt index b120a29a..8ba67182 100644 --- a/collects/mred/private/wx/gtk/slider.rkt +++ b/collects/mred/private/wx/gtk/slider.rkt @@ -21,6 +21,7 @@ (define-gtk gtk_range_set_increments (_fun _GtkWidget _double* _double* -> _void)) (define-gtk gtk_range_set_value (_fun _GtkWidget _double* -> _void)) (define-gtk gtk_range_get_value (_fun _GtkWidget -> _double)) +(define-gtk gtk_scale_set_digits (_fun _GtkWidget _int -> _void)) (define-gtk gtk_scale_set_draw_value (_fun _GtkWidget _gboolean -> _void)) (define-signal-handler connect-changed "value-changed" @@ -48,6 +49,7 @@ [no-show? (memq 'deleted style)]) (define gtk (get-gtk)) + (gtk_scale_set_digits gtk 0) (gtk_range_set_range gtk lo hi) (gtk_range_set_increments gtk 1.0 1.0) (gtk_range_set_value gtk val)