[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#9353: 24.0.50; default grep file name face is uglier now
From: |
Juri Linkov |
Subject: |
bug#9353: 24.0.50; default grep file name face is uglier now |
Date: |
Wed, 24 Aug 2011 12:01:39 +0300 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (x86_64-pc-linux-gnu) |
> Juri, sounds like we agree on all of this. Thx - please close the bug
> if you've already taken care of it.
Sorry, I have no intention (inclination, incentive) to remove the bold
attribute from the default value of this face, because there are many
other faces that use bold, and bold serves its purpose here (with default
large fonts).
Maybe, we should provide a special custom theme without bold attributes
for non-bold users?
OTOH, changing its color from "Green3" to "ForestGreen" looks like
a good change that makes it more readable (with default large fonts).
bug#9353: 24.0.50; default grep file name face is uglier now, Stefan Monnier, 2011/08/23