RFR 8158738: jshell tool: Save does not affect jshell if started from another editor

Robert Field robert.field at oracle.com
Thu Aug 25 01:59:54 UTC 2016


  Please review this fix.  Description excerpted from the bug report --

     When the /edit command is used, until the editor exits, no jshell 
prompt is displayed and no input is accepted, during this time
     the jshell tool watches the temp file for changes, entering any 
changes. When the editor exits the jshell tool stops watching.

     From my experiments with gedit, what is happening in this case is 
that the first time the gedit command is used it creates the
     window and waits for all windows to close before exiting. 
Subsequent calls to gedit add a pane for the file and return immediately.
     As a result the jshell tool assumes the editor has exited, stops 
watching the file, and queries for input with a prompt.

     For gedit, this can be addressed by using the --wait or maybe 
better the --standalone option:

         /set editor gedit -s

     However, other editors do not have support for waiting.

     The implemented solution: Add a "-wait" option to '/set editor' 
which prompts and waits before transitioning from edit mode.


Bug:
     https://bugs.openjdk.java.net/browse/JDK-8158738

Webrev:
     http://cr.openjdk.java.net/~rfield/8158738v0.webrev/

Thanks,
Robert



More information about the kulla-dev mailing list