public interface DevTools
Modifier and Type | Method and Description |
---|---|
Browser |
browser()
Returns the
Browser that owns the dev tools. |
void |
hide()
Closes Chromium Developer Tools window if any is shown.
|
java.util.Optional<java.lang.String> |
remoteDebuggingUrl()
Returns an
Optional that contains a string that represents the remote debugging URL
of the currently loaded web page in the browser instance associated with this DevTools or an
empty Optional if the URL is not available, because the engine has not been
configured with the remote debugging port. |
void |
show()
Opens Chromium Developer Tools panel in a new window.
|
Browser browser()
Browser
that owns the dev tools.java.util.Optional<java.lang.String> remoteDebuggingUrl()
Optional
that contains a string that represents the remote debugging URL
of the currently loaded web page in the browser instance associated with this DevTools or an
empty Optional
if the URL is not available, because the engine has not been
configured with the remote debugging port.EngineOptions.remoteDebuggingPort()
void show()
void hide()