[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: |
Sat, 23 Nov 2019 13:57:24 +0200 |
> From: Mattias Engdegård <mattiase@acm.org>
> Date: Mon, 18 Nov 2019 19:08:24 +0100
> Cc: rudalics@gmx.at, 38013@debbugs.gnu.org
>
> Here is an updated patch that makes the selection work better with characters
> that aren't a multiple of the standard font width.
Thanks, a few minor comments:
> +@defvar fine-grained-mouse-movement
I think this variable's name should start with "mouse-". Like
mouse-fine-grained-movement or something.
> + (setq fine-grained-mouse-movement t)
What happens if this function signals an error? won't
fine-grained-mouse-movement be left at its non-nil value?
- bug#38013: [PATCH] Rectangular region selection with mouse, (continued)
- 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
- bug#38013: [PATCH] Rectangular region selection with mouse,
Eli Zaretskii <=
- 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
- bug#38013: [PATCH] Rectangular region selection with mouse, Mattias Engdegård, 2019/11/23
- bug#38013: [PATCH] Rectangular region selection with mouse, Mattias Engdegård, 2019/11/27
- bug#38013: [PATCH] Rectangular region selection with mouse, Richard Stallman, 2019/11/09
bug#38013: [PATCH] Rectangular region selection with mouse, martin rudalics, 2019/11/01