From 2a8fdd9646c8db4902a366dc6f356ed93d20e12d Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Tue, 30 Nov 2010 14:10:44 -0600 Subject: [PATCH] Adjusts typesetting to account for gr2 rendering of filled rectangles --- collects/redex/private/core-layout.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/redex/private/core-layout.rkt b/collects/redex/private/core-layout.rkt index 4c4767d5cf..86ef5bfd7d 100644 --- a/collects/redex/private/core-layout.rkt +++ b/collects/redex/private/core-layout.rkt @@ -812,7 +812,8 @@ (refocus (cc-superimpose (colorize (filled-rectangle (pict-width p) - (pict-height p)) + (pict-height p) + #:draw-border? #f) "pink") p) p))