Browser Menu Bar

The Web browser's menu bar contains both tool menus and browser menus.

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:


File Menu


Open
Opens a local URL. This command activates a point-and-click chooser with which you can select HTML files within your file system to view in the browser. You can also open a file by typing its path name, preceded by the file: protocol specification, directly into the URL field.

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:


Proxies and Ports
Changes proxies and ports for the Web browser:

Version Control

Sets version control options. In release 1.0, you can configure the WorkShop to check files in and out of one of three version control systems: PVCS (Windows 95/NT), RCS (Solaris) and SCCS (Solaris). Version control commands are available from the source editor Version menu. Be sure that the version control commands are in your execution path.

Help


Workshop Task Help
Provides a Help index and table of contents, as well as links to information arranged by task--for example, debugging projects.

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:

Browser Header
Browser Tool Bar
Browser URL Bar
Browser Footer