Re: [platform-doc-dev] Possible new names for Eclipse CSS attributes

[Ben Konrath <bkonrath@xxxxxxxxxx>]

On Wed, 2004-22-12 at 06:37 -0500, mbehm wrote:
> In off-list discussions there was a suggestion that the naming
> conventions proposed for the Eclipse CSS attributes were difficult to
> use. The attached proposal offers a new set of names--ones that are more
> task-oriented. For example, if you want to describe how to access the
> hover help on a system where the user presses [F1], the proposed CSS
> class name is "f1". This frees the writer from having to know that this
> is the technique used on Windows systems and on Unix systems that do not
> use the GTK widget set (which had previously been described by the CSS
> attribute "default_ws").

Since nobody has spoken up, I guess that means that this change should
be okay.

Jim:

Can you check this change into cvs? If you want a patch, just let me
know.

Thanks, Ben