From 207b1c2225ae9222bcc8fcad24c4683460be1662 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Sat, 18 Apr 2020 13:13:21 -0700 Subject: [PATCH] buffered refresh for slider --- words/app.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/words/app.rkt b/words/app.rkt index 026c7c2..c85d524 100644 --- 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))