[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [External] : Re: [PATCH] New tab-bar-detach-tab command
From: |
Drew Adams |
Subject: |
RE: [External] : Re: [PATCH] New tab-bar-detach-tab command |
Date: |
Thu, 7 Oct 2021 18:23:33 +0000 |
> > BTW, maybe an alias 'tab-detach' could be added as well?
>
> I added two short aliases: 'tab-detach' for detaching a tab to a new
> frame, and 'tab-window-detach' for detaching a window to a new tab.
Just FYI/reminder: We use "tear-off" for a
window: `tear-off-window' (originally
`mouse-tear-off-window').
Not saying "tear-off" is better than "detach".
Just saying that that's what we have now, for
the analogous tearing-off of a window.
- Re: [PATCH] New tab-bar-detach-tab command, (continued)
- Re: [PATCH] New tab-bar-detach-tab command, Adam Porter, 2021/10/04
- Re: [PATCH] New tab-bar-detach-tab command, Juri Linkov, 2021/10/04
- Re: [PATCH] New tab-bar-detach-tab command, Adam Porter, 2021/10/04
- Re: [PATCH] New tab-bar-detach-tab command, Juri Linkov, 2021/10/05
- Re: [PATCH] New tab-bar-detach-tab command, Adam Porter, 2021/10/05
- RE: [External] : Re: [PATCH] New tab-bar-detach-tab command, Drew Adams, 2021/10/05
- Re: [PATCH] New tab-bar-detach-tab command, Juri Linkov, 2021/10/05
- Re: [PATCH] New tab-bar-detach-tab command, Adam Porter, 2021/10/06
- Re: [PATCH] New tab-bar-detach-tab command, Juri Linkov, 2021/10/06
- Re: [PATCH] New tab-bar-detach-tab command, Juri Linkov, 2021/10/07
- RE: [External] : Re: [PATCH] New tab-bar-detach-tab command,
Drew Adams <=
- RE: [External] : Re: [PATCH] New tab-bar-detach-tab command, Drew Adams, 2021/10/05
- Re: [External] : Re: [PATCH] New tab-bar-detach-tab command, Juri Linkov, 2021/10/05
- RE: [External] : Re: [PATCH] New tab-bar-detach-tab command, Drew Adams, 2021/10/05
- Re: [PATCH] New tab-bar-detach-tab command, Juri Linkov, 2021/10/06
- RE: [External] : Re: [PATCH] New tab-bar-detach-tab command, Drew Adams, 2021/10/06
- Re: [External] : Re: [PATCH] New tab-bar-detach-tab command, Juri Linkov, 2021/10/07
- Re: [External] : Re: [PATCH] New tab-bar-detach-tab command, Eli Zaretskii, 2021/10/07
- Re: [External] : Re: [PATCH] New tab-bar-detach-tab command, Juri Linkov, 2021/10/07
- RE: [External] : Re: [PATCH] New tab-bar-detach-tab command, Drew Adams, 2021/10/07
- Re: [External] : Re: [PATCH] New tab-bar-detach-tab command, Eli Zaretskii, 2021/10/07