buffered refresh for slider

5 years ago · 207b1c2225
parent a0ad665aa6
commit 207b1c2225
1 changed files with 1 additions and 1 deletions
--- a/words/app.rkt
+++ b/words/app.rkt
@ -94,7 +94,7 @@
       [stretchable-width #t]
       [callback (λ (cb evt)
                   (param (send cb get-value))
-                   (refresh-wordbox))]))
+                   (buffered-refresh))]))

 (define current-proper-names-choice (make-parameter #f))
 (define current-hide-plurals (make-parameter #f))