added edit-sequence when flushing the delegate updates

original commit: 524d53339296a9b1d047ed77bd50b99a031ef9fc
2011-06-17 15:44:48 +08:00 · 2011-06-17 15:44:48 +08:00 · 7c6bdcbc98
commit 7c6bdcbc98
parent 5c21353cb5
1 changed files with 2 additions and 0 deletions
--- a/collects/framework/private/text.rkt
+++ b/collects/framework/private/text.rkt
@ -1509,8 +1509,10 @@
    (define timer (new timer% 
                       [notify-callback
                        (λ ()
+                          (send delegate begin-edit-sequence)
                          (for ([th (in-list (reverse todo))])
                            (th))
+                          (send delegate end-edit-sequence)
                          (set! todo '()))]))
    (define/private (to-delegate thunk)
      (when delegate