[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?
- font-lock-comment-face, Miles Bader, 2000/10/13
- Re: font-lock-comment-face, Eli Zaretskii, 2000/10/13
- Re: font-lock-comment-face, Miles Bader, 2000/10/13
- Re: font-lock-comment-face, Eli Zaretskii, 2000/10/13
- Re: font-lock-comment-face, Miles Bader, 2000/10/13
- Re: font-lock-comment-face,
Eli Zaretskii <=
- Re: font-lock-comment-face, Miles Bader, 2000/10/13
- Re: font-lock-comment-face, Eli Zaretskii, 2000/10/13
- Re: font-lock-comment-face, Miles Bader, 2000/10/13