intellij-arend icon indicating copy to clipboard operation
intellij-arend copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

Save history in REPL

Open ice1000 opened this issue 4 years ago • 2 comments

As title.

ice1000 avatar Jul 11 '20 11:07 ice1000

Hi, @ice1000! I implemented feature :show_context and :reset_context for REPL which prints all the earlier typed in definitions/import commands which affect the state of REPL. Could you elaborate whether you meant that or something else?

sxhya avatar Aug 09 '23 11:08 sxhya

Hi, @ice1000! I implemented feature :show_context and :reset_context for REPL which prints all the earlier typed in definitions/import commands which affect the state of REPL. Could you elaborate whether you meant that or something else?

Like when you start the repl and press up, you'll see the last command you used in the previous session. Jline3 has a feature for that.

ice1000 avatar Aug 09 '23 14:08 ice1000