public class PageChangeEvent extends Event:
Terminal page focus change event.
terminal.pageChanged += lambda(e: PageChangeEvent): print(e.current.title)
| Modifier and Type | Member | Description |
|---|---|---|
| public readonly property | currentcurrent as Page |
Newly focused page. |
| public readonly property | previousprevious as Page |
Previously focused page, or null when no page was focused before. |
| Modifier and Type | Member | Description |
|---|---|---|
| public | PageChangeEventPageChangeEvent(previous as Page, current as Page, source as Object = null): |
Creates a terminal page focus change payload. |