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

gtk: fix slider value display

Browse Source 
original commit: 051ec4736dccf5ac86d02c958c830b931d605617
This commit is contained in:
Matthew Flatt 2011-03-10 18:37:58 -06:00
parent b778dab374
commit c7cc6c7e26
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_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)