[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#38013: [PATCH] Rectangular region selection with mouse
From: |
Eli Zaretskii |
Subject: |
bug#38013: [PATCH] Rectangular region selection with mouse |
Date: |
Tue, 19 Nov 2019 19:30:56 +0200 |
> Date: Tue, 19 Nov 2019 08:08:32 -0800 (PST)
> From: Drew Adams <drew.adams@oracle.com>
> Cc: 38013@debbugs.gnu.org, Juri Linkov <juri@linkov.net>
>
> > Of course rectangular selection should have a binding by default. This
> > is not controversial in the slightest.
>
> Count me as one user who disagrees that this deserves
> a default binding.
A command that needs to drag the mouse makes no sense without a
binding to some mouse gesture.
> Eli suggested defining a minor mode, as does CUA.
I suggested a minor mode as a way to allow us using the same binding
as used for another command by default. I did NOT suggest to have a
minor mode _instead_ of a binding.
- bug#38013: [PATCH] Rectangular region selection with mouse, (continued)
- bug#38013: [PATCH] Rectangular region selection with mouse, Mattias Engdegård, 2019/11/17
- bug#38013: [PATCH] Rectangular region selection with mouse, Mattias Engdegård, 2019/11/18
- bug#38013: [PATCH] Rectangular region selection with mouse, Drew Adams, 2019/11/18
- bug#38013: [PATCH] Rectangular region selection with mouse, Juri Linkov, 2019/11/18
- bug#38013: [PATCH] Rectangular region selection with mouse, martin rudalics, 2019/11/19
- bug#38013: [PATCH] Rectangular region selection with mouse, Mattias Engdegård, 2019/11/19
- bug#38013: [PATCH] Rectangular region selection with mouse, Drew Adams, 2019/11/19
- bug#38013: [PATCH] Rectangular region selection with mouse, Mattias Engdegård, 2019/11/19
- bug#38013: [PATCH] Rectangular region selection with mouse, Drew Adams, 2019/11/19
- bug#38013: [PATCH] Rectangular region selection with mouse, Mattias Engdegård, 2019/11/19
- bug#38013: [PATCH] Rectangular region selection with mouse,
Eli Zaretskii <=
- bug#38013: [PATCH] Rectangular region selection with mouse, Drew Adams, 2019/11/19
- bug#38013: [PATCH] Rectangular region selection with mouse, Eli Zaretskii, 2019/11/19
- bug#38013: [PATCH] Rectangular region selection with mouse, Drew Adams, 2019/11/19
- bug#38013: [PATCH] Rectangular region selection with mouse, Eli Zaretskii, 2019/11/19
- bug#38013: [PATCH] Rectangular region selection with mouse, Juri Linkov, 2019/11/20
- bug#38013: [PATCH] Rectangular region selection with mouse, Juri Linkov, 2019/11/19
- bug#38013: [PATCH] Rectangular region selection with mouse, martin rudalics, 2019/11/20
- bug#38013: [PATCH] Rectangular region selection with mouse, Eli Zaretskii, 2019/11/23
- bug#38013: [PATCH] Rectangular region selection with mouse, Mattias Engdegård, 2019/11/23
- bug#38013: [PATCH] Rectangular region selection with mouse, Eli Zaretskii, 2019/11/23