Re: [gnome-love] patch to change tooltips for terminal emulator and help system

[Matthew Walton <mxw00u Cs Nott AC UK>]

I didn't like the idea of GNOME user guide for the help browser - it
doesn't just cover GNOME, after all as it (should) be able to access all
the system man and info pages too. Wouldn't a name like "Help system" be
better?

"command prompt" - don't like that either, but then it may just be
because I despise Windows, and it sounds like Windows to me...

Some of the stuff Sun pointed out in their useability study seemed to me
to be simply due to a lack of familiarity with terminology - yes, some
terminology is obscure, but I see little point in simply duplicating
Windows terminology, because not everyone's familiar with that either,
and it's not necessarily any good anyway.

Their points about the GDM dialog were pretty valid though.

This is probably the wrong list to discuss this on, but I'm not
subscribed to any of the others, so I'm not entirely certain.

Matt Walton