fix minor bug in 'display-end functionality in invalidate-bitmap-cache

2010-10-29 15:06:48 -05:00 · 2010-10-29 15:06:48 -05:00 · 822895fd68
commit 822895fd68
parent cc0f246048
1 changed files with 3 additions and 1 deletions
--- 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)