[Top][All Lists]

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

Re: VOTE: Changing completions-common-part face's default

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.

reply via email to

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