Re: patch to change tooltips for terminal emulator and help system

["Guillermo S. Romero / Familia Romero" <famrom infernal-iceberg com>]

jpg2 cec wustl edu (2001-07-23 at 0959.44 -0500):
> "Terminal emulation program" -> "Command Prompt"

Nice.

> "Integrated help system (Info, man, HTML)" - > "Gnome User Guide"

The GNOME User Guide is a different thing, or to be precisse is a
subset of the help avaliable.

> I personally think "Command Prompt" is the best tooltip for
> gnome-terminal.  Perhaps "Help" or "Help System" would be better for
> the gnome help browser.  

"Help System" is the one it should use if it launches the app that
allows the user to read man pages, info page, html guides or whatever
help the computer has. Only if it will launch the GUG it should be
named GNOME User Guide.

GSR