[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#38013: [PATCH] Rectangular region selection with mouse
From: |
Mattias Engdegård |
Subject: |
bug#38013: [PATCH] Rectangular region selection with mouse |
Date: |
Sat, 9 Nov 2019 16:35:56 +0100 |
8 nov. 2019 kl. 19.28 skrev martin rudalics <rudalics@gmx.at>:
> At least here on Windows pressing the right mouse button does nothing
> with Firefox, Thunderbird or the desktop.
Not much of a Windows user myself. Firefox on Linux allows press-drag-release.
> > However, I think we largely agree that the current buffer and face
> > menus are of limited utility and that their bindings should not be
> > considered sacred territory.
>
> I fully agree but obviously cannot speak for the others. It would be
> nice though to settle this very issue in order to free the down
> bindings for good.
Right. To avoid conflating issues, I propose using control-meta for rectangular
selection at least as the initial binding. The attached patch also contains
documentation updates.
Not sure what to do about the menus. Combining the buffer and appearance menus
would free up a binding.
Eli had some concerns regarding the behaviour of an early patch, so I'll wait
for him to take another look whenever he can spare a moment. (No hurry.)
0001-Mouse-rectangular-region-selection-bug-38013.patch
Description: Binary data
- bug#38013: [PATCH] Rectangular region selection with mouse, (continued)
- bug#38013: [PATCH] Rectangular region selection with mouse, martin rudalics, 2019/11/04
- bug#38013: [PATCH] Rectangular region selection with mouse, Mattias Engdegård, 2019/11/04
- bug#38013: [PATCH] Rectangular region selection with mouse, martin rudalics, 2019/11/05
- bug#38013: [PATCH] Rectangular region selection with mouse, Mattias Engdegård, 2019/11/07
- bug#38013: [PATCH] Rectangular region selection with mouse, Drew Adams, 2019/11/07
- bug#38013: [PATCH] Rectangular region selection with mouse, Mattias Engdegård, 2019/11/07
- bug#38013: [PATCH] Rectangular region selection with mouse, martin rudalics, 2019/11/07
- bug#38013: [PATCH] Rectangular region selection with mouse, Drew Adams, 2019/11/07
- bug#38013: [PATCH] Rectangular region selection with mouse, Mattias Engdegård, 2019/11/08
- bug#38013: [PATCH] Rectangular region selection with mouse, martin rudalics, 2019/11/08
- bug#38013: [PATCH] Rectangular region selection with mouse,
Mattias Engdegård <=
- bug#38013: [PATCH] Rectangular region selection with mouse, Eli Zaretskii, 2019/11/09
- bug#38013: [PATCH] Rectangular region selection with mouse, Mattias Engdegård, 2019/11/09
- bug#38013: [PATCH] Rectangular region selection with mouse, Eli Zaretskii, 2019/11/09
- bug#38013: [PATCH] Rectangular region selection with mouse, Mattias Engdegård, 2019/11/10
- bug#38013: [PATCH] Rectangular region selection with mouse, Mattias Engdegård, 2019/11/12
- bug#38013: [PATCH] Rectangular region selection with mouse, Drew Adams, 2019/11/12
- bug#38013: [PATCH] Rectangular region selection with mouse, Mattias Engdegård, 2019/11/14
- bug#38013: [PATCH] Rectangular region selection with mouse, Eli Zaretskii, 2019/11/16
- 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