[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#68547: [PATCH] ; Fix 'mode-line-format-right-align' with ElDoc
From: |
João Távora |
Subject: |
bug#68547: [PATCH] ; Fix 'mode-line-format-right-align' with ElDoc |
Date: |
Sat, 20 Jan 2024 12:01:46 +0000 |
On Sat, Jan 20, 2024 at 10:58 AM Eshel Yaron <me@eshelyaron.com> wrote:
>
> João Távora <joaotavora@gmail.com> writes:
>
> > On Sat, Jan 20, 2024 at 9:57 AM Eli Zaretskii <eliz@gnu.org> wrote:
> >>
> >> > Date: Wed, 17 Jan 2024 20:44:04 +0100
> >> > From: Eshel Yaron via "Bug reports for GNU Emacs,
> >> > the Swiss army knife of text editors" <bug-gnu-emacs@gnu.org>
> >> >
> >> > Tags: patch
> >> >
> >> > The new mode line right alignment requires setting `mode-line-format` to
> >> > a list that contains (as in `memq`) the symbol
> >> > `mode-line-format-right-align`. This is a bit brittle, and currently
> >> > `eldoc-minibuffer-message` modifies `mode-line-format` in a way that
> >> > happens to break `mode-line-format-right-align`. To see that, set
> >> > `mode-line-format` to '("" mode-line-format-right-align "foo bar") and
> >> > then type `M-: (list`. Now ElDoc info appears on the mode line, but
> >> > "bar" is no longer visible.
> >> >
> >> > This patch makes ElDoc modify `mode-line-format` in an equivalent way
> >> > that avoids messing with `mode-line-format-right-align`.
> >>
> >> Thanks.
> >>
> >> João, any objections or comments?
> >
> > I think it looks good. I just think the patch is a little
> > too newline friendly, i.e. the if can probably fit in a single
> > line without reaching 80 columns and it'll make it easier to
> > read.
>
> Yes, it fits nicely. See updated patch below.
Thanks. I pushed it. I'm going to look at this function though,
since I don't I love the logic of destroying any old buffer's
mode-line-format and not restoring after the minibuffer is
exited.
- bug#68547: [PATCH] ; Fix 'mode-line-format-right-align' with ElDoc, Eshel Yaron, 2024/01/17
- bug#68547: [PATCH] ; Fix 'mode-line-format-right-align' with ElDoc, Eli Zaretskii, 2024/01/20
- bug#68547: [PATCH] ; Fix 'mode-line-format-right-align' with ElDoc, João Távora, 2024/01/20
- bug#68547: [PATCH] ; Fix 'mode-line-format-right-align' with ElDoc, Eshel Yaron, 2024/01/20
- bug#68547: [PATCH] ; Fix 'mode-line-format-right-align' with ElDoc,
João Távora <=
- bug#68547: [PATCH] ; Fix 'mode-line-format-right-align' with ElDoc, João Távora, 2024/01/20
- bug#68547: [PATCH] ; Fix 'mode-line-format-right-align' with ElDoc, Eshel Yaron, 2024/01/20
- bug#68547: [PATCH] ; Fix 'mode-line-format-right-align' with ElDoc, João Távora, 2024/01/20
- bug#68547: [PATCH] ; Fix 'mode-line-format-right-align' with ElDoc, Eli Zaretskii, 2024/01/20
- bug#68547: [PATCH] ; Fix 'mode-line-format-right-align' with ElDoc, João Távora, 2024/01/20
- bug#68547: [PATCH] ; Fix 'mode-line-format-right-align' with ElDoc, Eli Zaretskii, 2024/01/21
- bug#68547: [PATCH] ; Fix 'mode-line-format-right-align' with ElDoc, Eshel Yaron, 2024/01/21
- bug#68547: [PATCH] ; Fix 'mode-line-format-right-align' with ElDoc, João Távora, 2024/01/21
- bug#68547: [PATCH] ; Fix 'mode-line-format-right-align' with ElDoc, Eshel Yaron, 2024/01/21