added edit-sequence when flushing the delegate updates
This commit is contained in:
parent
24d11805ac
commit
524d533392
|
@ -1509,8 +1509,10 @@
|
||||||
(define timer (new timer%
|
(define timer (new timer%
|
||||||
[notify-callback
|
[notify-callback
|
||||||
(λ ()
|
(λ ()
|
||||||
|
(send delegate begin-edit-sequence)
|
||||||
(for ([th (in-list (reverse todo))])
|
(for ([th (in-list (reverse todo))])
|
||||||
(th))
|
(th))
|
||||||
|
(send delegate end-edit-sequence)
|
||||||
(set! todo '()))]))
|
(set! todo '()))]))
|
||||||
(define/private (to-delegate thunk)
|
(define/private (to-delegate thunk)
|
||||||
(when delegate
|
(when delegate
|
||||||
|
|
Loading…
Reference in New Issue
Block a user