public event pageChanged as PageChangeEvent
Emitted when the active page changes.
terminal.pageChanged += lambda(e as PageChangeEvent): print(e.current.title)