Re: BIKESHED: completion faces

[Eli Zaretskii]

> From: João Távora <address@hidden>
> Date: Sat, 9 Nov 2019 12:14:28 +0000
> Cc: Ergus <address@hidden>, emacs-devel <address@hidden>, 
>       Stefan Monnier <address@hidden>, Dmitry Gutov <address@hidden>
> 
> On Sat, Nov 9, 2019 at 11:52 AM Eli Zaretskii <address@hidden> wrote:
> >
> > > From: João Távora <address@hidden>
> > > Date: Sat, 9 Nov 2019 11:20:30 +0000
> > > Cc: Ergus <address@hidden>, emacs-devel <address@hidden>,
> > >       Stefan Monnier <address@hidden>, Dmitry Gutov <address@hidden>
> > >
> > > On Sat, Nov 9, 2019 at 6:57 AM Eli Zaretskii <address@hidden> wrote:
> > >
> > > > By "reversal" I mean that the part we highlight is the part that
> > > > matched what the user typed, and the part we don't highlight is what
> > > > the user might type to narrow the search.  We currently do the
> > > > opposite.
> > >
> > > Yes. You call this an inconsistency, I don't.
> >
> > I call this "reversal".  I guess we now agree about this part, whereas
> > previously you said there was no reversal.
> 
> By "reversal", I understand reversing the application
> of the two faces in the 'basic' completion style.

I explained above what I meant by "reversal".  And you agreed, so why
are we still arguing about this part?

> > I object to making this the default behavior, because it's the exact
> > opposite of what we do now.  I already suggested to make what you want
> > an optional behavior, but AFAIU you rejected that, not sure I
> > understand why.
> 
> Because it is already an optional behaviour. I wrote "we already
> have that: themes".  That's the reason. I for example
> use M-x customize-face to fix the situation and unless the
> situation advances, I will advise users of flex to do the same.
> There's no point in adding anything more, IMO.

It's up to you, but I think an option that causes the matched part to
be prominent and the next character to type not prominent (which is
AFAIU what you want) is much easier and lightweight for users than
loading a theme or customizing a face.  Later, if it turns out the
majority of users want that, we could make that option the default.