Online Help Options

(Config > Options... > General tab > Online Help)

Help browser

Format: helpbrowser

Default: netscape

Web browser to use for online help. Can also be used to give command line arguments to the browser. For example, to set the display to a different machine:

"/home/site/bin/netscape -display othermachine:0.0"

If the browser isn't in your path, the full path must be provided.

Use current context to resolve help ambiguities

Format: helpcontextdisambiguates

Default: On

Enabled, the online help system will take the current context into account if you ask for help on a help keyword for which there are multiple help entries. Disabled, the online help system will always ask you to pick which context you are interested in when there is ambiguity.

Browser supports -remote command line option (Netscape)

Format: helpnoremotecommand

Default: Off (On in GUI)

NOTE: The meaning of this option varies depending on whether you set it from the GUI, or from the command line or a config file.

Enabled in the GUI, the debugger will try to use Netscape's -remote facility so that the same browser can be used for multiple help invocations. Disabled in the GUI, help will always launch a new web browser each time help is invoked.

Help in new browser window

Format: helpinnewwindow

Default: On

To launch help in a new Netscape window when the browser is already open, turn this option on. Not applicable when helpnoremotecommand is on.

Use Java (1.1) applet for online help

Format: helpnojava

Default: On

NOTE: This meaning of this option varies depending on whether it is accessed from the GUI, or using the command line or a config file.

To use Java-based help (with features such as full-text searching), turn this option on. With this option off, a set of html-only pages will be used. Java-based help requires a browser that supports Java 1.1 or greater.

Help port number

Format: helpportnumber

Default: 5150

Sets the port number that help will try to bind to. Must be between 1024 and 2^16-1. No effect if helpnojava is on.

Number of ports to scan if bind fails

Format: helpnumportstoscan

Default: 100

If the connection is unsuccessful when connecting on the port specified by helpportnumber, this many ports after that one are scanned to find a port to bind to.


Previous

Next



Copyright © 1999, Green Hills Software. All rights reserved.