stop telling the traces windows to re-format expressions when the font size changes
I'm not sure why it was doing this before, but in addition to fixing PR 14644, this should also make the font size slider a lot more responsive. also, redraw the editor after changing the font size to make sure the blue arrows get redrawn properly. closes PR 14644
This commit is contained in:
parent
5168764293
commit
3333d92652
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue
Block a user