Withdrawn: 8253354: A jshell command to open desktop browser with specific javadoc query

Tue Dec 1 19:35:57 UTC 2020

On Tue, 6 Oct 2020 10:35:21 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

> Adding a new command "/doc <element>" to JShell. This command opens the javadoc URL for the given element. A new setting, /set browser, is introduced to actually set the browser that should be used to open the URL. If none specified, JShell tries to use Desktop.browse (which may fail on some platforms).

This pull request has been closed without being integrated.

-------------

PR: https://git.openjdk.java.net/jdk/pull/521