[racket] Width of traces boxes
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Is there a way to (programmatically) adjust the maximum width of the
boxes used to display terms in the traces window of Redex?
(I feel like I used to know how to do this and have forgotten.)
Thanks,
David
-----BEGIN PGP SIGNATURE-----
Version: GnuPG/MacGPG2 v2.0.22 (Darwin)
iQIcBAEBAgAGBQJTxZLHAAoJEIVEqZR2RxA84JAP/A3ecXSLQloLVgZtwhrYLTCm
nNFsQmvJb3p+WgP9U16HbMEB4JLXcb3NpzUgHsYh6akDbq+0gyfugBCsNZp1csvA
L0AQ/LxhBKV8LpFN4rDhXnyucTn71BXL08A7+Csf08bZSxmabG674ecEDrMXAvk/
BFfzeO9MRoeVGGT0oUO7Nysmfz9IYwsmHvVabw+oN2wqG6ffP7grNps7nDGeyiSH
u2amZvuO34AGfn4PpCg3v2ngb4BfaHmlRY7MTmuGKv8EM+fGOk7mptF5V3P58Nxb
4d8Q8x/ScewI3fwGlTDiMsbSSAdGhtH2H+GDx75VkVKQp8Cv+aasn8bKtSoTKZQ7
mqLQUTVuplHeYDvqSuzwE+ODGQLQw7pXmXqh8N6JF24hC6q2p1imtpffjXnl0iLS
SCUb64aSI3nFuiPnj/sQGERYP9HvBIaC2XiKgFSnnV3vEoAsmUsdVww7dTGsn9wA
orsVqHbwChLe9EtUBemXe46TMAAhbXuJq7E/LhJmHrnR9xbOf54PKeYZFsutfkfo
s863H9qz8UmIK4O1syNj/LPLhOiXjvgtvJOOovAqZ9iXXqkh3wdIKYJBB6mjTmMH
yuzCFULjiHYCxG0ynWUnyaltt1WfPlVmm72fbUXdneToSfqD4YjocnV7YPbH7eJN
5on8HvX4HNXlBH07cf7/
=L8ey
-----END PGP SIGNATURE-----