Re: Java mode comment color change

[Stefan Monnier]

> 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
font-lock-doc-face.

> 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).


        Stefan