[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 16:37:50 +0100 |
19 nov. 2019 kl. 16.09 skrev Drew Adams <drew.adams@oracle.com>:
> No. We should argue, if that's needed, only after
> the feature has been used by users for quite a while
> and users have called for a default binding.
Of course rectangular selection should have a binding by default. This is not
controversial in the slightest.
- bug#38013: [PATCH] Rectangular region selection with mouse, (continued)
- 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
- 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 <=
- 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
- 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