[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Java mode comment color change

From: Stefan Monnier
Subject: Re: Java mode comment color change
Date: Mon, 04 Feb 2002 09:21:04 -0500

> I'm not sure if this change was intentional, the color of java mode
> javadoc comments has changed from red to pink.

Yes: the face has changed from font-lock-comment-face to

> red is the normal colour for comments in java mode. pink is the
> normal color for string literals.

The current setting for font-lock-doc-face is the same as
the one for font-lock-string-face.  That should probably be
changed, but I do not understand how people use colors so
I'm not the right person to do those changes (I only use
italic/bold/dimmed instead of colors).


reply via email to

[Prev in Thread] Current Thread [Next in Thread]