Re: [racket-users] Borders in pict

2019-09-03 Thread Hendrik Boom
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

Re: [racket-users] Borders in pict

2019-09-03 Thread Robby Findler
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. Robby On Mon, Sep 2, 2019 at 9:22 PM Ben Greenman wrote: > Inside > > Welcome t

Re: [racket-users] Borders in pict

2019-09-02 Thread Ben Greenman
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

[racket-users] Borders in pict

2019-09-02 Thread Hendrik Boom
With rectangle and filled-rectangle, I can specify a border width: (rectangle 100 100 #:border-width 5) Does that border sit inside the 100 x 100 rectangle, or is it around the rectangle making the result take 110 x 110 pixels. I can't see where this is specified in the documentation. -- hend