[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#64619: [PATCH] Add toggle-window-dedicated command
From: |
sbaugh |
Subject: |
bug#64619: [PATCH] Add toggle-window-dedicated command |
Date: |
Sat, 19 Aug 2023 16:20:05 +0000 (UTC) |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Philip Kaludercic <philipk@posteo.net> writes:
> sbaugh@catern.com writes:
>
>> Spencer Baugh <sbaugh@janestreet.com> writes:
>>> OK, this patch adds support for making the buffer strongly dedicated
>>> with a prefix argument, and also adds an indicator to the mode line of
>>> whether the current window is dedicated (which seems useful even if we
>>> don't apply the toggle part of this patch).
>>
>> Any thoughts on this patch?
>
> I just tried it out and it works as advertised. The only question is if
> a NEWS entry should be added, or if it is worth mentioning it in the
> manual?
Yes, I think definitely a NEWS entry is warranted, if only because it
adds an indicator the mode line. But I wanted to settle the format
before writing it.
> (P.S. I have had issues sending this message, but perhaps I might have
> done something wrong as well: "smtpmail-send-it: Sending failed: 450
> 4.1.2 <sbaugh@catern.com>: Recipient address rejected: Domain not found")
That's because my DNS/mail server just crashed :)
- bug#64619: [PATCH] Add toggle-window-dedicated command, sbaugh, 2023/08/19
- bug#64619: [PATCH] Add toggle-window-dedicated command, Philip Kaludercic, 2023/08/19
- bug#64619: [PATCH] Add toggle-window-dedicated command,
sbaugh <=
- bug#64619: [PATCH] Add toggle-window-dedicated command, Philip Kaludercic, 2023/08/19
- bug#64619: [PATCH] Add toggle-window-dedicated command, sbaugh, 2023/08/19
- bug#64619: [PATCH] Add toggle-window-dedicated command, Eli Zaretskii, 2023/08/20
- bug#64619: [PATCH] Add toggle-window-dedicated command, sbaugh, 2023/08/21
- bug#64619: [PATCH] Add toggle-window-dedicated command, Gregory Heytings, 2023/08/21
- bug#64619: [PATCH] Add toggle-window-dedicated command, Eli Zaretskii, 2023/08/21
- bug#64619: [PATCH] Add toggle-window-dedicated command, Eli Zaretskii, 2023/08/21
- bug#64619: [PATCH] Add toggle-window-dedicated command, Eli Zaretskii, 2023/08/21
bug#64619: [PATCH] Add toggle-window-dedicated command, Gregory Heytings, 2023/08/19