Navigator that shows all page names and allows to jump to pages

Page Navigator

Polybench reference manual · Last updated 2026-06-18

This navigator lists all pages of the current project, sorted by page category.

Using this navigator, jumping between pages is easy, also if not all pages are currently visible on the "Page Bar".

User Interface

1. Open Help button

Opens the help document for this dialog.

2. Refresh contents

Clears the text viewer and refreshes its contents. Depending on the contents, the refresh may take a few moments.

3. Close

Closes this dialog.

4. Word wrap check box

Check this check box to wrap long text lines to the next line, so that no horizontal scrolling is necessary.