Re: [racket-users] Borders in pict
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 > 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.
Re: [racket-users] Borders in pict
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 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/CAL3TdONazUTfOL4bhGRjxa2DpaQ7Lz2EygXx9Mygaa%2BK%2B8Coeg%40mail.gmail.com.
Re: [racket-users] Borders in pict
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.
[racket-users] Borders in pict
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. -- hendrik -- 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/20190903011800.semzxdywvksnypcg%40topoi.pooq.com.