From 8de570559e0936482000470ac101896691c0f4a9 Mon Sep 17 00:00:00 2001
From: Timo Wilken
Date: Sat, 4 Nov 2023 23:10:57 +0100
Subject: Disable info's mouse tracking

---
 tw/home/files/infokey | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'tw')

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
-- 
cgit v1.2.3