fix font resizing performance bug in the traces window
This commit is contained in:
parent
9d4a3a6e07
commit
cb566b1ba4
|
@ -291,7 +291,10 @@
|
||||||
(init-value (initial-font-size))
|
(init-value (initial-font-size))
|
||||||
(max-value 127)
|
(max-value 127)
|
||||||
(parent bottom-panel)
|
(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% ()
|
(define lower-panel (instantiate horizontal-panel% ()
|
||||||
(parent bottom-panel)
|
(parent bottom-panel)
|
||||||
(stretchable-height #f)))
|
(stretchable-height #f)))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user