cursive
cursive copied to clipboard
Command history isn't saved when it should be
The plugin only saves the command history when the repl is closed with the 'X' button.
- Pressing the run configuration stop button doesn't save history
- Exiting the ide doesn't save history
- Killing the ide results in history loss too
It's a major bug and results in frequent data loss.