diff --git a/pkgs/redex-pkgs/redex-gui-lib/redex/private/traces.rkt b/pkgs/redex-pkgs/redex-gui-lib/redex/private/traces.rkt index 289fad00c7..cf8ead8f18 100644 --- a/pkgs/redex-pkgs/redex-gui-lib/redex/private/traces.rkt +++ b/pkgs/redex-pkgs/redex-gui-lib/redex/private/traces.rkt @@ -296,7 +296,8 @@ (callback (lambda (slider evt) (send graph-pb begin-edit-sequence) (set-font-size (send slider get-value)) - (send graph-pb end-edit-sequence))))) + (send graph-pb end-edit-sequence) + (send ec refresh))))) (define lower-panel (instantiate horizontal-panel% () (parent bottom-panel) (stretchable-height #f))) @@ -385,12 +386,7 @@ (send standard get-delta delta) (send delta set-size-mult 0) (send delta set-size-add size) - (send standard set-delta delta) - (let loop ([snip (send graph-pb find-first-snip)]) - (when snip - (when (is-a? snip reflowing-snip<%>) - (send snip reflow-program)) - (loop (send snip next)))))) + (send standard set-delta delta))) ;; fill-out : (listof X) (listof X) -> (listof X) ;; produces a list whose length matches defaults but