From 5b96803273b0f2cd8f52cffd61d99a88c09f2d6f Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 21 Jul 2012 06:57:50 -0500 Subject: [PATCH] fix a bug introduced by commit 05b88930c0a19b8e8d56433ca8273f635c50793b the symptom of the bug is that the red error highlighting never worked Please merge to the release branch --- collects/drracket/private/rep.rkt | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/collects/drracket/private/rep.rkt b/collects/drracket/private/rep.rkt index 4b6d4948e1..534ee60137 100644 --- a/collects/drracket/private/rep.rkt +++ b/collects/drracket/private/rep.rkt @@ -766,9 +766,10 @@ TODO (define/augment (after-edit-sequence) (inner (void) after-edit-sequence) - (let ([to-clean had-an-insert]) - (set! had-an-insert '()) - (update-after-inserts to-clean))) + (unless (null? had-an-insert) + (let ([to-clean had-an-insert]) + (set! had-an-insert '()) + (update-after-inserts to-clean)))) (define/private (update-after-inserts starts) (unless inserting-prompt?