search

racket / redex

Other
93 stars 36 forks source link

Redex's reduction graph windows sneakily hide part of term reductions #253

Open jasonhemann opened 2 years ago

jasonhemann commented 2 years ago

What version of Racket are you using? e.g., 8.4 [cs]

What program did you run? I'm experimenting with redex; perhaps this is known behavior. I found it surprising that parts of some terms in some of the reduction graphs are hidden by the window, and you have to manually resize the windows for the remaining text to appear. Further, when you fix the layout, the text disappears again.

What should have happened?

I think the windows should be automatically sized to the height and width of the term, and the full term should be displayed.

Please include any other relevant details I'm on MacOS 10.15.7, and I attach a recording of the behavior in question.

redex_bug_recording

jasonhemann commented 2 years ago

I believe this relates to @wilbowma 's issue #243 .