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

[João Távora]

On Fri, Nov 8, 2019 at 7:21 PM Stefan Monnier <address@hidden> wrote:
>
> 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?

As I said earlier, I abstain on "blue3".  It makes me squint, but I won't
be using it.  It will make more new users squint, but less than "blue4".

João