If there are multiple HotJava 
windows open because windows have been cloned, only the current window is 
closed. If this is the only HotJava window, Close quits the HotJava Browser
application.

<dt><b><a name="QuitWindow">Quit</a></b>
<dd>Exits the HotJava Browser, quitting all cloned windows started in the 
current session.
</dl>	
</dl>	

<dl>
<dt><a name=edit_menu></a><b>Edit Menu</b>
<dd>
<dl>
<dt><b><a name=EditCopy>Copy</a></b>
<dd>Copies selected text to the system clipboard. This menu item is only
active when text is selected on a page displayed by the HotJava Browser.
You cannot use this menu item to select text from an applet or a type-in
field.

<dt><b><a name=find>Find in Document</a></b>
<dd>Displays the Find In Document window, in which you
type the text you want to search for in the current page. If the
text is found, it is highlighted, and the page scrolls if necessary to display
the highlighted text. 
<p>
The default search operation is not case sensitive, which means the HotJava 
Browser does not distinguish between upper- or lower-case text while 
searching. For example, a request to find the word <em>HotJava</em> will 
find <em>hotjava</em>, <em>HOTJAVA</em>, <em>HoTjAvA</em>, or any other 
combination of upper- and lower-case letters. 
<p>
You can also choose to do a case sensitive search, which means the HotJava
Browser does distinguish between upper- and lower-case text, and only
finds text that matches exactly.  Thus a case sensitive request
to find <em>HotJava</em> will only find the string <em>HotJava</em>; 
it will not find <em>hotjava</em>, <em>HOTJAVA</em>, and so on.
<p>
Use the Find button in the Find In Document window to initiate each search.
The search either begins from the currently highlighted text or from the
top of the current page if no text is highlighted.
<br>
Use the Clear button to quickly empty out the Find type-in field.  
<br>
Use the Dismiss button to dismiss the Find In Document window.
<br>
The Find in Document menu item is equivalent to the Find in Document
button <img src="../lib/images/find.gif">.

<dt><a name=prefs></a><b>Preferences=></b>
<dd>Use the Preferences menu to display the preferences pages. 
<p>
Each preferences page has Apply, Reset, and Help buttons on the
bottom of the page. Click on <b>Apply</b> to activate any changes you've made. 
Click on <b>Reset</b> to reset the settings to their last saved state.
Click on <b>Help</b> to see the documentation about that
particular page. This is displayed in another HotJava window.
Use the <b>Back</b> navigation button to return to the current page.
<p>
Follow these links for information about each of the Preferences pages:
<ul>
<li><a href="display_prefs.html">Display</a>
<li><a href="proxies.html">Proxies</a>
<li><a href="viewer_apps.html">Viewer Applications</a>
<li><a href="mail_prefs.html">Mail</a>
<li><a href="ssl_prefs.html">SSL and Certificate Settings</a>
<li><a href="applet_security.html">Applet Security</a>
</ul>

</dl>
</dl>

<dl>
<dt><a name=view_menu></a><b>View Menu</b><dd> 
<dl>
<dt><b><a name=reload></a>Reload Page</b>
<dd>Reloads the current page. This is useful if changes have been made
to the current HTML source, if a page doesn't load correctly the first time, 
or to restart an applet that stopped running during a low memory condition. 
If you're reloading a page that has cached images, you may need to empty 
the cache before you can pick up changes to those images. See the information 
on Clear Cached Images, below.
<br>
Reload Page is equivalent to the Reload 
button <img src="../lib/images/reload.gif">.

<dt><a name=stop><b>Stop Loading</b></a>
<dd>Stops all loading of the current page. This menu item is available only
while a page is being loaded. Only the <em>loading</em> of a page is stopped;
if an applet has been loaded and is running, this will not stop the applet.
If the HotJava Browser is making a connection when you choose Stop Loading, 
HotJava still completes the connection attempt.
<br>
Stop Loading is equivalent to the Stop 
button <img src="../lib/images/stop.gif">.

<dt><b><a name="ClearCache">Clear Cached Images</a></b>
<dd>Clears images and document backgrounds cached by HotJava. The cache is 
a location in memory where images that have been loaded are temporarily 
stored. This increases performance, because it is then quicker to revisit 
pages since the images don't have to be reloaded over the network. When 
you use the Reload button or the Reload Page menu item, HotJava looks to 
the image cache before loading images on a remote page. You'll therefore 
need to clear the cache (empty it) if you want to force HotJava to reload 
the images over the network, thereby picking up recent changes. 

<dt><a name=html.source></a><b>HTML Source</b> 
<dd>Opens a page in which the HTML source for the current page is
displayed. 
<p> 
The HTML displayed has been parsed and formatted by HotJava. If you'd 
like to see the original, unformatted HTML source file, follow the 
link to the original source at the top of the displayed page.
<p>
You can save the HTML text to a file using the File menu's <b>Save</b> item.

<dt><a name=html.errors></a><b>HTML Errors</b>
<dd>HotJava verifies HTML pages, which is useful if you're developing
your own page or having troubles displaying a page.  When there are
HTML errors in the currently displayed page, the HTML Errors menu item is
activated. 
<p>
Choose <b>HTML Errors</b> from the View 
menu to display the errors. Alternatively, if you are displaying the 
HTML Errors button (described below), click on the button when it is active 
to display the errors.
<p>
The HotJava verifier is very thorough. Some HTML 
errors listed may be benign errors that don't adversely affect 
the display of the page in HotJava or other browsers. However, because the 
verification is so thorough, it's an excellent way to make sure your 
HTML pages are correct.
<p>
When the HotJava Browser encounters HTML errors, it tries to recover from the 
errors in an attempt to display the page as the author intended. If you would 
like to turn off this error recovery so that HotJava displays the page
<i>exactly</i> as the HTML is written, even when errors occur, set your
<a name="HotJavaParserStrictProperty">
<b>hotjava.parser.strict</b></a> property to TRUE.  (It is FALSE by default.) 
See <a href="custom.html">Customizing the HotJava Browser</a> for information 
about the HotJava properties and properties files.
<p>
If you use the HTML Errors feature often to debug HTML pages, you can add
add a button that becomes active whenever a page is displayed with HTML errors,
but which is inactive otherwise. You can then click on this button when it's
active to see the errors.
<p>
To add this button, choose <b>Show HTML Errors Button</b> on the 
<nobr><wbr>Edit->Preferences->Display</nobr> page, then click Apply.
<p>
If you add the HTML Errors button, it looks like this:
<p>
<img src="../lib/images/htmlError.gif"> HTML Errors button when current page 
has HTML errors
<br>
<img src="../lib/images/htmlErrorD.gif"> HTML Errors button when current page 
does not have HTML errors

<dt><b><a name=character.sets>Character Set</a></b>
<dd>
The HotJava Browser supports the Unicode 2.0 character set, and can display
both Latin and non-Latin Unicode characters from regions all over the globe.
<p>
To view HTML pages that use an alternate character set, choose that charcter
set from the Character Set menus. Only one alternate character set can be 
specified at any one time.  You can see which character set is currently
selected by finding the character set in the submenus with a selected check box.
<p>
If the http server sends information with a page telling the HotJava Browser
what character set the page uses, HotJava will automatically choose that
character set to display the page.  
<p>
<a name="AutoDetect"></a>
In the Japanese character set submenu, you can choose Auto Detect. If you do,
the HotJava Browser tries to analyze the page to figure out which of the
Japanese character sets it should use.  
<p>
To successfully view a page with an alternate character set, you must have 
the appropriate system fonts available on