cursive icon indicating copy to clipboard operation
cursive copied to clipboard

Command history isn't saved when it should be

Open amokfa opened this issue 2 years ago • 0 comments

The plugin only saves the command history when the repl is closed with the 'X' button.

  1. Pressing the run configuration stop button doesn't save history
  2. Exiting the ide doesn't save history
  3. Killing the ide results in history loss too

It's a major bug and results in frequent data loss.

amokfa avatar May 10 '23 03:05 amokfa