public class BrowserNavigationEvent extends GuiEvent:
Navigation event emitted before or after a browser location change.
browser.navigating += lambda(event: BrowserNavigationEvent): print(event.url)
| Modifier and Type | Member | Description |
|---|---|---|
| public readonly property | historyNavigationhistoryNavigation as Boolean |
Whether this navigation comes from history traversal. |
| public readonly property | urlurl as String |
Requested or effective URL. |
| Modifier and Type | Member | Description |
|---|---|---|
| public | BrowserNavigationEventBrowserNavigationEvent(source as Object, url as String, historyNavigation as Boolean = false): |
Creates a navigation event. |