[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Use of minibuffer-prompt face when minibuffer is not involved
From: |
Eli Zaretskii |
Subject: |
Re: Use of minibuffer-prompt face when minibuffer is not involved |
Date: |
Sat, 11 May 2019 17:11:35 +0300 |
> Date: Sat, 11 May 2019 06:52:31 -0700 (PDT)
> From: Drew Adams <address@hidden>
> Cc: address@hidden, address@hidden
>
> > Active minibuffer is an internal detail. I wish it didn't exist at
> > all, but our implementation forces us to have it. Exposing that to
> > users is exactly the wrong idea.
>
> Active minibuffer is in _no_ way "an internal detail".
You have 2 core Emacs developers disagree with you, which is a clear
sign that you are wrong.
> "Grave mistake"? Why do you say so? (No reason given.)
I actually did give a reason, please re-read what I wrote.
> We (since Emacs 22, at least) now provide two different
> faces for the mode-line, to show which window is active
> (selected) - which has the focus. This is very similar:
> the minibuffer is a buffer in a window.
No, selected window is an entirely different concept.
> No argument has been given yet supporting _why_ this
> should be considered "internal". Just two opinions
> strongly proclaiming that it _is_ an internal detail.
> Why do you think so?
Read the code, and you will clearly see that.
- Use of minibuffer-prompt face when minibuffer is not involved, Kévin Le Gouguec, 2019/05/10
- Re: Use of minibuffer-prompt face when minibuffer is not involved, Stefan Monnier, 2019/05/10
- RE: Use of minibuffer-prompt face when minibuffer is not involved, Drew Adams, 2019/05/10
- Re: Use of minibuffer-prompt face when minibuffer is not involved, Stefan Monnier, 2019/05/10
- Re: Use of minibuffer-prompt face when minibuffer is not involved, Eli Zaretskii, 2019/05/11
- RE: Use of minibuffer-prompt face when minibuffer is not involved, Drew Adams, 2019/05/11
- Re: Use of minibuffer-prompt face when minibuffer is not involved,
Eli Zaretskii <=
- RE: Use of minibuffer-prompt face when minibuffer is not involved, Drew Adams, 2019/05/11
- Re: Use of minibuffer-prompt face when minibuffer is not involved, Richard Stallman, 2019/05/12
- RE: Use of minibuffer-prompt face when minibuffer is not involved, Drew Adams, 2019/05/12
- Re: Use of minibuffer-prompt face when minibuffer is not involved, Kévin Le Gouguec, 2019/05/11
Solving bug#35564 (was: Use of minibuffer-prompt face when minibuffer is not involved), Kévin Le Gouguec, 2019/05/11