[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, 12 Nov 2019 15:26:02 +0100 |
This revised patch includes fine-grained mouse-movement events inside stretch
glyphs, controlled by 'mouse-movement-in-tab'. Eli, does this fix the problems
you observed?
If desired, the variable could be generalised to 'fine-grained-mouse-movement'
and affect all movement (not just over stretch glyphs).
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, 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, 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/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 <=
- 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