[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: VOTE: Changing completions-common-part face's default
From: |
João Távora |
Subject: |
Re: VOTE: Changing completions-common-part face's default |
Date: |
Sat, 9 Nov 2019 22:17:08 +0000 |
On Sat, Nov 9, 2019 at 10:07 PM Juri Linkov <address@hidden> wrote:
> If changing the defaults is so highly sensitive topic, I don't see
> what would be wrong with adding a new face inheriting from
> completions-first-difference and applying only to flex-like
> completion styles. No change in defaults will maintain the status quo.
>
> Another advantage of adding a new face is that anyone can
> customize flex highlighting without affecting the faces
> of the prefix completion style.
My latest proposal was exactly this, but it has been rejected. Much
as I agree with you, I think it's better we leave this alone for now,
and wait until more people start using flex, so we can get more feedback.
--
João Távora
- Re: VOTE: Changing completions-common-part face's default, (continued)
- Re: VOTE: Changing completions-common-part face's default, João Távora, 2019/11/07
- Re: VOTE: Changing completions-common-part face's default, Dmitry Gutov, 2019/11/07
- Re: VOTE: Changing completions-common-part face's default, João Távora, 2019/11/07
- Re: VOTE: Changing completions-common-part face's default, Dmitry Gutov, 2019/11/07
- Re: VOTE: Changing completions-common-part face's default, João Távora, 2019/11/07
- RE: VOTE: Changing completions-common-part face's default, Drew Adams, 2019/11/07
- Re: VOTE: Changing completions-common-part face's default, Dmitry Gutov, 2019/11/08
- Re: VOTE: Changing completions-common-part face's default, João Távora, 2019/11/08
- RE: VOTE: Changing completions-common-part face's default, Drew Adams, 2019/11/08
- Re: VOTE: Changing completions-common-part face's default, Juri Linkov, 2019/11/09
- Re: VOTE: Changing completions-common-part face's default,
João Távora <=
- Re: VOTE: Changing completions-common-part face's default, Eli Zaretskii, 2019/11/09
- Re: VOTE: Changing completions-common-part face's default, João Távora, 2019/11/09
- Re: VOTE: Changing completions-common-part face's default, Eli Zaretskii, 2019/11/09
- Re: VOTE: Changing completions-common-part face's default, João Távora, 2019/11/09
- RE: VOTE: Changing completions-common-part face's default, Drew Adams, 2019/11/09
- Re: VOTE: Changing completions-common-part face's default, Stefan Monnier, 2019/11/07
- Re: VOTE: Changing completions-common-part face's default, Dmitry Gutov, 2019/11/08
- Re: VOTE: Changing completions-common-part face's default, Stefan Monnier, 2019/11/08
- Re: VOTE: Changing completions-common-part face's default, Eli Zaretskii, 2019/11/08
- Re: VOTE: Changing completions-common-part face's default, Stefan Monnier, 2019/11/08