In current session, I had set an external editor which I want to revert to default one. So, how to reset to default editor in jshell, in current sessoin?
EDIT:
I searched on net and found this link cr.openjdk.java.net/~rfield/tutorial/JShellTutorial.html which didn't help. I tried with DEFAULT as an option(guessing on the lines of default startup script), didn't help.