Name | Description | |
---|---|---|
![]() | OnActivePageChanged | Called when the active page has changed. |
![]() | OnDocumentChanged | Called when the document has changed. |
![]() | RebuildPageButtons | Rebuilds the page navigator page buttons. |
![]() | UpdateActivePage | Checks the button that represents the currently active page. Unchecks all others |
![]() | UpdatePageTitle | Updates the title displayed by the button for the specified page. |