From f67bb10c19cf3557bb19275a0a2e5bcd1d47d43a Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 20 Sep 2010 12:29:11 -0600 Subject: [PATCH] fix bug introduced with 'display-end change --- collects/mred/private/wxme/text.rkt | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/collects/mred/private/wxme/text.rkt b/collects/mred/private/wxme/text.rkt index 978bb8a360..5e5a4d9569 100644 --- a/collects/mred/private/wxme/text.rkt +++ b/collects/mred/private/wxme/text.rkt @@ -3920,15 +3920,17 @@ (begin (when (L . < . refresh-l) (set! refresh-l L)) - (when (or (eq? R 'display-end) - (R . > . refresh-r)) - (set! refresh-r R)) + (unless (eq? refresh-r 'display-end) + (when (or (eq? R 'display-end) + (R . > . refresh-r)) + (set! refresh-r R))) (when (T . < . refresh-t) (set! refresh-t T)) - (when (or (eq? B 'display-end) - (B . > . refresh-b)) - (set! refresh-b B)))) - + (unless (eq? refresh-b 'display-end) + (when (or (eq? B 'display-end) + (B . > . refresh-b)) + (set! refresh-b B))))) + (set! draw-cached-in-bitmap? #f))) (def/override (needs-update [snip% snip]