[racket] redex model rendered too narrow

Attached is a zip. Run 'test.rkt' and it will produce a test.png file. I tried to make it show up in a frame% but couldn't figure out how to do it other than using a button%, but there is commented code in test.rkt to do that.

In the model note that 'stack' is cut off.

On 03/04/2013 02:58 PM, Robby Findler wrote:
> Can you post a specific (hopefully not too big) example? (There are lots of modes and things for typesetting these, so it's hard to answer that abstractly.)
>
> Robby
>
>
> On Mon, Mar 4, 2013 at 3:07 PM, Jon Rafkind <rafkind at cs.utah.edu <mailto:rafkind at cs.utah.edu>> wrote:
>
>     The pdf rendering of my redex model does not seem to take `where' clauses into account when computing the width of the pict. In a few rules this results in the where clause being cut off. Any idea what to do about it?
>     ____________________
>       Racket Users list:
>       http://lists.racket-lang.org/users
>
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20130304/5e5b7e02/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: example.zip
Type: application/zip
Size: 4068 bytes
Desc: not available
URL: <http://lists.racket-lang.org/users/archive/attachments/20130304/5e5b7e02/attachment.zip>