On Tue, Sep 03, 2019 at 06:23:41AM -0500, Robby Findler wrote:
> These change the pen width and I believe the pen sits right on the border
> of the rectangle. As Ben points out, they don't affect the width and height
> of the pict, but picts draw outside their bounding box sometimes.

So the drawn border would sit across the edge of the rectangle, some of 
it inside and some of it outside.  That would explain the variation in 
line widths I see because the border is later clipped to the size of the 
rectangle.

Thank you.

-- hendrik

> 
> Robby
> 
> On Mon, Sep 2, 2019 at 9:22 PM Ben Greenman <benjaminlgreen...@gmail.com>
> wrote:
> 
> > Inside
> >
> > Welcome to Racket v7.4.0.1.
> > > (require pict)
> > > (pict-width (rectangle 100 100 #:border-width 5))
> > 100
> > > (pict-height (rectangle 100 100 #:border-width 5))
> > 100
> >
> > --
> > You received this message because you are subscribed to the Google Groups
> > "Racket Users" group.
> > To unsubscribe from this group and stop receiving emails from it, send an
> > email to racket-users+unsubscr...@googlegroups.com.
> > To view this discussion on the web visit
> > https://groups.google.com/d/msgid/racket-users/CAFUu9R5ngc%2BUdL_pPCLARkO2ZDeXq6CPXMrYZpiAgJ1RgstoqQ%40mail.gmail.com
> > .
> >

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/20190903121048.4kkz57nb7pj4ukkp%40topoi.pooq.com.

Reply via email to