From 054e5d96b78d300de5e9a84d2f6b46bc15569dfd Mon Sep 17 00:00:00 2001 From: Scott Owens Date: Mon, 2 Feb 2004 23:16:12 +0000 Subject: [PATCH] *** empty log message *** original commit: c0404161e75a6ffdacaa482180663f080daed333 --- collects/framework/private/color.ss | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/framework/private/color.ss b/collects/framework/private/color.ss index 90b49c42..be6502ed 100644 --- a/collects/framework/private/color.ss +++ b/collects/framework/private/color.ss @@ -208,6 +208,8 @@ (define/private (do-insert/delete edit-start-pos change-length) (unless (or stopped? force-stop?) (modify) + (unless up-to-date? + (sync-invalid)) (cond (up-to-date? (let-values