[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#38013: [PATCH] Rectangular region selection with mouse
From: |
Drew Adams |
Subject: |
bug#38013: [PATCH] Rectangular region selection with mouse |
Date: |
Mon, 4 Nov 2019 07:25:51 -0800 (PST) |
> (Drew, don't worry --- the bindings are placeholders so that people can
> try out the selection mechanism. The default bindings are yet to be
> determined.)
My latest question was why we would add all of that
stuff - options for choosing modifiers etc. _Users
have control_ over key bindings now. Just what's
the point of adding this other stuff?
And what exactly does that have to do with selecting
a rectangular region with the mouse? Why should that
be mixed in with providing the possibility of using
a mouse to select a rectangular region?
And why provide any binding, by default, for doing
that? The feature hasn't even been introduced to
users yet. Why would we sacrifice a default binding
for it at this time?
- bug#38013: [PATCH] Rectangular region selection with mouse, Eli Zaretskii, 2019/11/01
- bug#38013: [PATCH] Rectangular region selection with mouse, Mattias Engdegård, 2019/11/01
- bug#38013: [PATCH] Rectangular region selection with mouse, Eli Zaretskii, 2019/11/01
- bug#38013: [PATCH] Rectangular region selection with mouse, Eli Zaretskii, 2019/11/01
- bug#38013: [PATCH] Rectangular region selection with mouse, Mattias Engdegård, 2019/11/03
- bug#38013: [PATCH] Rectangular region selection with mouse, Drew Adams, 2019/11/03
- 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,
Drew Adams <=
- 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