Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Save current REPL input with down arrow #2000

Merged
merged 2 commits into from
Jul 12, 2024
Merged

Save current REPL input with down arrow #2000

merged 2 commits into from
Jul 12, 2024

Conversation

byorgey
Copy link
Member

@byorgey byorgey commented Jun 28, 2024

Closes #713.

Also does a bit of refactoring:

  • Decompose REPLHistItem into a REPLHistItemType and some Text instead of having multiple constructors all containing a Text
  • Add some helpers in Controller.Util to cut down on duplicated code

Copy link
Member

@xsebek xsebek left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

If I approve this, I'll have to deal with the merge conflicts. 😅

But it looks nice. 👍 Congratulations on the two thousandth PR/Issue! 🥳 2️⃣0️⃣0️⃣0️⃣

@byorgey
Copy link
Member Author

byorgey commented Jun 30, 2024

If I approve this, I'll have to deal with the merge conflicts. 😅

Haha, I actually thought about that. I think I'll wait to merge this until after your keybindings PR - it might be easier for me to resolve the conflicts in a smaller PR, and I still have to fix up the test suite anyway.

@byorgey
Copy link
Member Author

byorgey commented Jun 30, 2024

Congratulations on the two thousandth PR/Issue! 🥳

Oh, nice! 🎉 I knew we were coming up on 2000 but hadn't noticed this was it.

@xsebek
Copy link
Member

xsebek commented Jul 8, 2024

@byorgey, thanks for waiting for me. Good luck with the rebase. 😅

@byorgey byorgey added the merge me Trigger the merge process of the Pull request. label Jul 12, 2024
@mergify mergify bot merged commit 37617e0 into main Jul 12, 2024
12 checks passed
@mergify mergify bot deleted the REPL-down-arrow branch July 12, 2024 19:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merge me Trigger the merge process of the Pull request.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Save invalid inputs in REPL history with down arrow
2 participants