fix font resizing performance bug in the traces window

rfindler · rfindler · commit cb566b1ba4c6 · 2012-10-24T23:56:31.000-05:00
diff --git a/collects/redex/private/traces.rkt b/collects/redex/private/traces.rkt
@@ -291,7 +291,10 @@
                       (init-value (initial-font-size))
                       (max-value 127)
                       (parent bottom-panel)
-                      (callback (lambda (slider evt) (set-font-size (send slider get-value))))))
+                      (callback (lambda (slider evt) 
+                                  (send graph-pb begin-edit-sequence)
+                                  (set-font-size (send slider get-value))
+                                  (send graph-pb end-edit-sequence)))))
   (define lower-panel (instantiate horizontal-panel% ()
                         (parent bottom-panel)
                         (stretchable-height #f)))
