Stuff we type into the REPL Entry editor can be accidentally lost.
How to reproduce:
- Type something into the REPL (but don't execute it yet)
- Accidentally press cmd-up or cmd-down to navigate through REPL Entry history items
The current state of the REPL Entry editor will be lost, even if you use cmd-up/cmd-down to navigate back.
Suggested solution:
Put the current state of the editor into the history list before changing the history, so it can be retrieved later. Also, if the user is currently on the most recent history item, pressing cmd-down should not clear the editor, it shouldn't do anything in this case.
Stuff we type into the REPL Entry editor can be accidentally lost.
How to reproduce:
The current state of the REPL Entry editor will be lost, even if you use cmd-up/cmd-down to navigate back.
Suggested solution:
Put the current state of the editor into the history list before changing the history, so it can be retrieved later. Also, if the user is currently on the most recent history item, pressing cmd-down should not clear the editor, it shouldn't do anything in this case.