[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#64619: [PATCH] Add toggle-window-dedicated command
From: |
Eli Zaretskii |
Subject: |
bug#64619: [PATCH] Add toggle-window-dedicated command |
Date: |
Sun, 20 Aug 2023 11:30:52 +0300 |
> Date: Sun, 20 Aug 2023 08:02:25 +0000
> From: Gregory Heytings <gregory@heytings.org>
> cc: 64619@debbugs.gnu.org, philipk@posteo.net, sbaugh@janestreet.com,
> sbaugh@catern.com, rudalics@gmx.at, drew.adams@oracle.com
>
> > Alternatively, we could use switch-to-buffer-in-dedicated-window as that
> > user option: if the user sets it non-nil, we could take that as an
> > indication that they prefer the strongly-dedicated default.
>
> IMO it would be much cleaner to just strongly dedicate the window in
> toggle-window-dedicated, and to add a note in its docstring pointing to
> switch-to-buffer-in-dedicated-window and explaining that that option
> should be used to decide what happens with C-x b.
So you are saying that opinions of people who disagree with you should
be simply disregarded?
- bug#64619: [PATCH] Add toggle-window-dedicated command, (continued)
bug#64619: [PATCH] Add toggle-window-dedicated command, Gregory Heytings, 2023/08/19
- bug#64619: [PATCH] Add toggle-window-dedicated command, sbaugh, 2023/08/19
- bug#64619: [PATCH] Add toggle-window-dedicated command, Gregory Heytings, 2023/08/19
- bug#64619: [PATCH] Add toggle-window-dedicated command, sbaugh, 2023/08/19
- bug#64619: [PATCH] Add toggle-window-dedicated command, Gregory Heytings, 2023/08/19
- bug#64619: [PATCH] Add toggle-window-dedicated command, Eli Zaretskii, 2023/08/20
- bug#64619: [PATCH] Add toggle-window-dedicated command, Gregory Heytings, 2023/08/20
- bug#64619: [PATCH] Add toggle-window-dedicated command,
Eli Zaretskii <=
- bug#64619: [PATCH] Add toggle-window-dedicated command, Gregory Heytings, 2023/08/20
- bug#64619: [PATCH] Add toggle-window-dedicated command, Eli Zaretskii, 2023/08/20
- bug#64619: [PATCH] Add toggle-window-dedicated command, Gregory Heytings, 2023/08/20
- bug#64619: [PATCH] Add toggle-window-dedicated command, Eli Zaretskii, 2023/08/20
- bug#64619: [PATCH] Add toggle-window-dedicated command, Gregory Heytings, 2023/08/20
- bug#64619: [PATCH] Add toggle-window-dedicated command, sbaugh, 2023/08/20
- bug#64619: [PATCH] Add toggle-window-dedicated command, Eli Zaretskii, 2023/08/20
- bug#64619: [PATCH] Add toggle-window-dedicated command, Gregory Heytings, 2023/08/20
- bug#64619: [PATCH] Add toggle-window-dedicated command, sbaugh, 2023/08/21
bug#64619: [PATCH] Add toggle-window-dedicated command, Augusto Stoffel, 2023/08/21