Redex's reduction graph windows sneakily hide part of term reductions #253
Description
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.
