-
Bug
-
Resolution: Fixed
-
P4
-
9
-
b97
-
Verified
Make user experience and corresponding code more regular.
Parameters will then be --
/save [all|start|history] file
/list [all|start|history|<name>|<id>]
/edit [<name>|<id>]
/drop <name>|<id>
In all cases active non-start-up names will have precedence.
Parameters will then be --
/save [all|start|history] file
/list [all|start|history|<name>|<id>]
/edit [<name>|<id>]
/drop <name>|<id>
In all cases active non-start-up names will have precedence.
- relates to
-
JDK-8140265 jshell tool: /save saves rejected input
-
- Closed
-