From 524d53339296a9b1d047ed77bd50b99a031ef9fc Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 17 Jun 2011 15:44:48 +0800 Subject: [PATCH] added edit-sequence when flushing the delegate updates --- collects/framework/private/text.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/framework/private/text.rkt b/collects/framework/private/text.rkt index 40c806b5c8..bb9609d414 100644 --- 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