suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

gtk: fix slider value display

Browse Source
This commit is contained in:
Matthew Flatt 2011-03-10 18:37:58 -06:00
parent 2ba8927ba5
commit 051ec4736d
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/mred/private/wx/gtk/slider.rkt
View File

@ -21,6 +21,7 @@
(define-gtk gtk_range_set_increments (_fun _GtkWidget _double* _double* -> _void)) (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_set_value (_fun _GtkWidget _double* -> _void))
(define-gtk gtk_range_get_value (_fun _GtkWidget -> _double)) (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-gtk gtk_scale_set_draw_value (_fun _GtkWidget _gboolean -> _void))
(define-signal-handler connect-changed "value-changed" (define-signal-handler connect-changed "value-changed"
@ -48,6 +49,7 @@
[no-show? (memq 'deleted style)]) [no-show? (memq 'deleted style)])
(define gtk (get-gtk)) (define gtk (get-gtk))
(gtk_scale_set_digits gtk 0)
(gtk_range_set_range gtk lo hi) (gtk_range_set_range gtk lo hi)
(gtk_range_set_increments gtk 1.0 1.0) (gtk_range_set_increments gtk 1.0 1.0)
(gtk_range_set_value gtk val) (gtk_range_set_value gtk val)