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)