[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: VOTE: Changing completions-common-part face's default
From: |
Eli Zaretskii |
Subject: |
Re: VOTE: Changing completions-common-part face's default |
Date: |
Fri, 08 Nov 2019 21:43:47 +0200 |
> From: Stefan Monnier <address@hidden>
> Date: Fri, 08 Nov 2019 14:19:12 -0500
>
> Dmitry Gutov <address@hidden> wrote:
> > blue3 is a good enough color, and it fits the default theme. So unless we
> > can agree on a better idea, and unless other people object, let's go with
> > blue3 and call it a day.
>
> OK, we have one vote here, great.
> João, you also mentioned some objections to "blue3", do they still
> stand, or are you willing to settle for "blue3" now?
>
> Eli?
Please tell which face will use this, whether as foreground or as
background color, and what will that face highlight in various
completion scenarios. (I think I know the answers, but I'm so
flabbergasted by the other thread that I no longer believe my memory
and my ability to draw conclusions from what you mentioned in this
one. Sorry.)
- Re: VOTE: Changing completions-common-part face's default, (continued)
- 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 <=
- 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/09
- Re: VOTE: Changing completions-common-part face's default, Stefan Monnier, 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, Stefan Monnier, 2019/11/09
- 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, Stefan Monnier, 2019/11/06
- Re: BIKESHED: completion faces, João Távora, 2019/11/05
- Re: BIKESHED: completion faces, Dmitry Gutov, 2019/11/05