[Top][All Lists]

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

Re: font-lock-comment-face

From: Eli Zaretskii
Subject: Re: font-lock-comment-face
Date: Fri, 13 Oct 2000 12:53:22 +0200

> From: Miles Bader <address@hidden>
> Date: Fri, 13 Oct 2000 18:11:29 +0900 (JST)
> [but I guess in the end no
> matter what is done, there are bound to be millions of complaints...sigh]

That's why I think defaults should not change drastically, unless
there is not other way.

> No, at least on my display FireBrick is too dark to read.

How about firebrick[1-4]?  Is any of them acceptable?

reply via email to

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