[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] New tab-bar-detach-tab command
From: |
Juri Linkov |
Subject: |
Re: [PATCH] New tab-bar-detach-tab command |
Date: |
Tue, 05 Oct 2021 19:38:07 +0300 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (x86_64-pc-linux-gnu) |
>> The command was named "duplicate" because web browsers
>> provide the menu item "Duplicate tab".
>
> Of course, that makes sense. But since "clone" seems to already be a
> term used in Emacs for this sort of thing, maybe we should consider
> using it, instead.
Maybe there is no problem when the command name will contain the word
"clone", but its menu item will be like in web browsers:
`(menu-item "Duplicate" (lambda () (interactive)
(tab-bar-clone-tab
And wouldn't it be too error-prone when the name 'tab-bar-clone-tab'
will differ only by one letter from another name 'tab-bar-close-tab'?
> For example, `clone-buffer' and `clone-process' both
> "Create a twin copy of...".
'tab-duplicate' is bound to 'C-x t n' and not to 'C-x t c' because
'clone-buffer' is bound to 'C-x x n' and not 'C-x x c'.
- Re: [PATCH] New tab-bar-detach-tab command, Juri Linkov, 2021/10/03
- 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 <=
- 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, 2021/10/07
- 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