|
From: | Dmitry Gutov |
Subject: | Re: VOTE: Changing completions-common-part face's default |
Date: | Fri, 8 Nov 2019 22:11:18 +0200 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 |
On 08.11.2019 21:19, Stefan Monnier wrote:
If we have more time to think on this,Of course, we can change it again later, so there will definitely be more time to think about it. But I'd like more people to be exposed to it so opinions are based on more concrete experience (e.g. I was quite convinced at first that I'd be OK with "common=bold firstdiff=underline" and it's only after some days of use that I realized that I really didn't like the "firstdiff=underline" part).
FWIW, I think the other suggestion is a radically different idea. So whatever experience people have with the proposed change would be orthogonal to it.
[Prev in Thread] | Current Thread | [Next in Thread] |