Robert Field
5be06e9de2
8167637: jshell tool: /edit should use EDITOR setting
...
8167640: jshell tool: external editor temp file should be *.java
Reviewed-by: jlahoda
2016-10-24 17:06:10 -07:00
Robert Field
f601bcb76e
8163840: jshell tool: provide way to display configuration settings
...
Reviewed-by: jlahoda
2016-10-20 12:53:11 -07:00
Robert Field
8b2ace697c
8167128: JShell: /drop of statement gives confusing output
...
Reviewed-by: jlahoda
2016-10-10 18:41:12 -07:00
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
