3.1 Headings

Most pages have a standard set of buttons at the top of the page. This is what they mean:

Help

Click on this to get help. The button only appears if there is specific help for the page you are viewing. You can get general help for HyperDoc by clicking the help button on the home page.

Up

Click here to go back one page. By clicking on this button repeatedly, you can go back several pages and then take off in a new direction.

Return

Go back to the home page, that is, the page on which you started. Use HyperDoc to explore, to make forays into new topics. Don’t worry about how to get back. HyperDoc remembers where you came from. Just click on this button to return.

Exit

From the root window (the one that is displayed when you start the system) this button leaves the HyperDoc program, and it must be restarted if you want to use it again. From any other HyperDoc window, it just makes that one window go away. You must use this button to get rid of a window. If you use the window manager Close button, then all of HyperDoc goes away.

The buttons are not displayed if they are not applicable to the page you are viewing. For example, there is no Home button on the top-level menu.