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.