Redex's reduction graph windows sneakily hide part of term reductions
Nobody has claimed this yet.
- Dominant language
- Racket
- Stars
- 112
- Forks
- 42
- PR merge metrics
- No merged PRs in 30d
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.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by reproducing the Redex reduction-graph behavior shown in the attached recording on macOS, focusing on terms that are clipped and on whether resizing causes text to disappear again. The change is complete when reduction-graph windows automatically fit the full term and retain the complete display after layout changes.
Written by the indexing model from the issue text.
Assessment
- Domain
- desktop, devtools
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100