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 /tw/home | |
parent | 046beafb15037b52d33c8e32830ab53103005228 (diff) |
Disable info's mouse tracking
Diffstat (limited to 'tw/home')
-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 |