diff options
| author | Timo Wilken | 2023-11-04 23:10:57 +0100 |
|---|---|---|
| committer | Timo Wilken | 2023-11-04 23:10:57 +0100 |
| commit | 8de570559e0936482000470ac101896691c0f4a9 (patch) | |
| tree | 7cb15496a00a9525ae1c00bd873e4bec6886b5e9 | |
| parent | 046beafb15037b52d33c8e32830ab53103005228 (diff) | |
Disable info's mouse tracking
| -rw-r--r-- | tw/home/files/infokey | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tw/home/files/infokey b/tw/home/files/infokey index aa1a312c..3b75179f 100644 --- a/tw/home/files/infokey +++ b/tw/home/files/infokey @@ -123,4 +123,6 @@ match-style=yellow,standout cursor-movement-scrolls=Off scroll-behaviour=Page Only hide-note-references=On -mouse=normal-tracking +# mouse=normal-tracking allows better mouse scroll integration, but disables +# mouse selection without holding Shift. +mouse=Off |