Adjusts typesetting to account for gr2 rendering of filled rectangles

2010-11-30 14:10:44 -06:00 · 2010-11-30 14:10:44 -06:00 · 2a8fdd9646
commit 2a8fdd9646
parent 341bee96e4
1 changed files with 2 additions and 1 deletions
--- 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))