Robert Field
99e3bceb60
8172179: jshell tool: builtin startup settings should be by reference not content
...
Reviewed-by: jlahoda
2017-01-19 11:12:02 -08:00
Robert Field
6c52320ccc
8172102: jshell tool: remove print method forwarding to System.out from default startup
...
Reviewed-by: briangoetz
2017-01-02 18:31:30 -08:00
Robert Field
411ce3da8c
8169828: jdk/jshell/ExternalEditorTest.java testStatementMush() fails frequently on all platform
...
8170015: jshell tool: /help output looks terrible on a 100 column wide terminal
8170368: jshell tool: post setting not properly applied, line-ends not prefixed correctly
Reviewed-by: jlahoda
2016-12-02 10:17:03 -08:00
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
