search

racket / redex

Other
93 stars 36 forks source link

`stepper` doesn't display whole term... unless I *narrow* its box? #243

Open wilbowma opened 3 years ago

wilbowma commented 3 years ago

I can't reproduce this reliably with all terms but, observe the far right term:

Screen Shot 2021-07-21 at 14 26 40

It's cut off for some reason. But if I narrow the box, then it display correctly. Doesn't work if I expand the box:

Screen Shot 2021-07-21 at 14 26 50