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

Jan Lahoda jan.lahoda at oracle.com
Thu Aug 25 19:57:30 UTC 2016


Seems OK.

Jan

On 25.8.2016 03:59, Robert Field wrote:
>   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