The following browser menus control general browsing and WorkShop functionality and are described on this page:
The following tool menus are described in other sections of the help system:
Flush Cache
Flushes the image and HTML caches.
Reload
Reloads the currently displayed page. You can also reload a
page by clicking on the Reload button in the footer.
Stop
Stops loading the current URL. You can also stop
loading a URL by clicking on the Stop button in the footer.
HTML Source
Displays the HTML source for the current page.
Show Console Window
For Java WorkShop programs and applets, displays text that
would otherwise be sent to standard output (the destination
to which your system usually sends text).
Clone Window
Creates a new browser window that contains the same URL as
the browser window from which you created it.
New Window
Creates a new, empty browser window.
Close Window
Closes (quits) the current browser window.
Quit
Quits the Java WorkShop.
Navigate Menu
Forward
Displays the URL viewed prior to selecting the Back
command. The Forward command works only after the Back
command has been used. Shortcut: The Forward
button on the browser footer.
Back
Displays the URL viewed last. Shortcut: The Back button on the browser footer.
Home
Displays the Java WorkShop home page. You can
change this to a URL of your choice using the Options->Paths command.
Show History
Lists titles of the pages that you visited since you last
started the Workshop. Each time you visit a page, its title
is added to the list. The title of currently displayed
page is marked with an asterisk (*), and the URL of that
page appears in a field below the list.
To revisit a page, choose its title from the list, and then click Visit. You cannot delete entries from this list.
Below the Show History option is another list of recently visited pages, from which you can choose. This list works much like the Show History list, but displays only page titles, not their URLs.
Bookmarks Menu
Add Current to Bookmarks Menu
Adds the currently displayed URL to the Bookmarks list.
Show Bookmarks
Lists the URLs you added using the Add Current To Bookmark Menu
item. Click on a URL to load it. Use the Delete, Move
Up, and Move Down buttons to edit the list.
Options Menu
Font
Lists the font sizes in which the web browser can display text.
Paths
Sets the following path for the WorkShop Web browser:
You can copy and paste the URL from one of the WorkShop tools (for example,
the Build Manager) into this field. Whenever you start the WorkShop, or
click on the Home footer button, that tool will be loaded.
Workshop Web Browser
Describes the user interface of the Web browser--its
window, menus, fields, and controls.
WorkShop Release Notes
Displays the most recent information about this Java
Workshop release.
Serial Number/License
Displays the serial number and license agreement for this copy
of Java Workshop.
Registration
Displays the Java Workshop registration form.
Send Comments
Lets you enter comments about Java Workshop and send them
to the product team.
Java API Documentation (1.0)
Displays links to standard documentation about the Java
programming interface, from the Java Developer's Kit.
Java JDK Website
Displays the Java Developer's Kit web page, from JavaSoft.
About Java Workshop
Displays
the version, serial number, and copyright
information about this copy of the Workshop.
See also: