[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: |
Thu, 7 Nov 2019 16:09:10 +0000 |
> > So let's choose 3:1 as a threshold for that use. Certainly
> > blue3 (1.87) and blue4 (1.27) don't clear that bar, so let's
> > ditch those.
> Having a lot of contrast between `default` and `completions-common-part`
> is an explicit non-goal for this first step because we want
> `completions-common-part` not to get in your face in the typical
As I wrote, in-your-face-ness is subjective. But I think, like a stray
kitten with huge little eyesies, it would get in your heart.
João Meow
- Re: VOTE: Changing completions-common-part face's default, (continued)
- Re: VOTE: Changing completions-common-part face's default, Stefan Monnier, 2019/11/06
- 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, Yuri Khan, 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, Yuri Khan, 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, Stefan Monnier, 2019/11/07
- Re: VOTE: Changing completions-common-part face's default,
João Távora <=
- 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, 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