[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: |
Tue, 19 Nov 2019 14:57:59 +0100 |
19 nov. 2019 kl. 08.57 skrev martin rudalics <rudalics@gmx.at>:
> > I agree. We need to use the same keys as in other applications:
> > `C-down-mouse-1' to select the rectangular region, then move
> > its current binding of `mouse-buffer-menu' to the context popup menu
> > bound to `<mouse-3>' like on all other applications.
>
> As I tried to explain before: Other applications use 'C-down-mouse-1'
> for building non-contiguous regions that do _not_ necessarily form a
> rectangle.
You are both right, and I, too, would prefer a better modifier than
control-meta.
Platform conventions vary, although right-button is clearly dominant for
context menus today. There is no similarly agreed way to select rectangles of
text.
Nevertheless, I would like this patch to be pushed as long as there is no
objection to the design and implementation of the feature itself. It uses
nobody's favourite binding, but at least the feature is accessible in a useful
way. With it in place, we can argue about shuffling bindings around.
- bug#38013: [PATCH] Rectangular region selection with mouse, (continued)
- 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
- 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 <=
- 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, 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, 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