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

[Dmitry Gutov]

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.