From fc3ccde0b4dfc8d7c3ffb5bfc188a4b21068b0ad Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 6 Aug 2009 16:37:49 +0000 Subject: [PATCH] fix delete-time callback to release caret focus svn: r15681 original commit: 015e926c0400de5f8bcb408c7c61c3b68318008c --- collects/mred/private/wxme/text.ss | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/mred/private/wxme/text.ss b/collects/mred/private/wxme/text.ss index c9ce4815..f1daaa4e 100644 --- a/collects/mred/private/wxme/text.ss +++ b/collects/mred/private/wxme/text.ss @@ -1790,8 +1790,10 @@ (values deleted-line? update-cursor?) (let ([update-cursor? (or (and (eq? snip s-caret-snip) - (begin + (let ([rl? read-locked?]) + (set! read-locked? #t) (send s-caret-snip own-caret #f) + (set! read-locked? rl?) (set! s-caret-snip #f) #t)) update-cursor?)])