From 822895fd68263aab59a32bf863e72946fea5bb6e Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 29 Oct 2010 15:06:48 -0500 Subject: [PATCH] fix minor bug in 'display-end functionality in invalidate-bitmap-cache --- collects/mred/private/wxme/text.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/mred/private/wxme/text.rkt b/collects/mred/private/wxme/text.rkt index 5e5a4d9569..1d560f3f7c 100644 --- a/collects/mred/private/wxme/text.rkt +++ b/collects/mred/private/wxme/text.rkt @@ -4887,7 +4887,9 @@ (min refresh-t top) top) right (if (not refresh-box-unset?) - (max bottom refresh-b) + (if (eq? refresh-b 'display-end) + bottom + (max bottom refresh-b)) bottom) #t)) (values (max refresh-l left)