bug#64619: [PATCH] Add toggle-window-dedicated command

[Eli Zaretskii]

> Date: Mon, 21 Aug 2023 13:20:03 +0000
> From: Gregory Heytings <gregory@heytings.org>
> cc: Eli Zaretskii <eliz@gnu.org>, sbaugh@janestreet.com, philipk@posteo.net, 
>     rudalics@gmx.at, drew.adams@oracle.com, 64619@debbugs.gnu.org
> 
> Seeing that all my suggestions (about the key binding, about the 
> weak/strong distinction, and about the 
> switch-to-buffer-in-dedicated-window configuration variable) have been 
> ignored, I bow out of this thread.

They are not ignored.  We haven't yet installed anything.  We are
still discussing.