3 Commits

Author SHA1 Message Date
Robert Field
0b92f87233 8158738: jshell tool: Save does not affect jshell if started from another editor
Reviewed-by: jlahoda
2016-08-26 11:36:08 -07:00
Robert Field
f39e912857 8160089: jshell tool: use new double-dash long-form command-line options
Reviewed-by: jlahoda
2016-08-22 19:31:37 -07:00
Robert Field
5d1f9c9918 8157517: jshell tool: allow undoing operations
8157395: jshell tool: allow the position of options on commands to be more flexible
8157393: jshell tool: change /set newmode ... to be consistent with /retain mode

Reviewed-by: jlahoda
2016-05-23 10:12:05 -07:00