=== Working with URLs and Documents ===

How To...

Open a document using an URL
View the previous document
View the next document in the history list
View the html markup language of a document

Save a document on your system
Print a document

Add a document to the hotlist
Assign a shortcut name to a document

Send a comment to the author of a document

Open a shell

Change the current session settings

Exit the browser

How to open a document using an URL
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1. From the File menu, select Open Location.
2. Type the URL for the required document.

How to view the previous document
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1. From the Goto menu, select Back.

How to view the next document in the history list
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1. From the Goto menu, select Forward.

How to view the html markup language of a document
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1. From the View menu, select Source.
2. To return to the browser, select Source again.

How to save a document on your system
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1. From the File menu, select Download Source.
2. Select the required save option.

How to print a document
^^^^^^^^^^^^^^^^^^^^^^^

1. From the File menu, select Print.
2. Select the required print option.

How to add a document to the hotlist
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1. From the Hotlist menu, select Add.
2. Confirm that the currently displayed document is to be saved in the hotlist file.

How to assign a shortcut name to a document
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1. From the Goto menu, select Add Jump.
2. Type a shortcut name to be used for the currently displayed document.

How to send a comment to the author of a document
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1. From the File menu, select Comment. Note only documents that contain the author's email details will support this menu option.

How to open a shell
^^^^^^^^^^^^^^^^^^^

1. From the File menu, select Shell.
2. Type exit to close the shell and return to the browser.

How to change the current session settings
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1. From the Options menu, select Preferences.
2. Select an option and use the space bar to toggle through the different settings.

How to exit from the browser
^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1. From the File menu, select Quit.