From e882c21c04035577b45fb32de0223cd292b3c319 Mon Sep 17 00:00:00 2001
From: Mitchell Hashimoto <mitchell.hashimoto@gmail.com>
Date: Sat, 4 Mar 2023 14:24:40 -0800
Subject: [PATCH] disable double/tripclick highlighting if mouse reporting is
 enabled

---
 src/Surface.zig | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/Surface.zig b/src/Surface.zig
index a4b746fec..211a3cedc 100644
--- a/src/Surface.zig
+++ b/src/Surface.zig
@@ -1321,6 +1321,10 @@ pub fn mouseButtonCallback(
             self.mouse.mods,
             pos,
         );
+
+        // If we're doing mouse reporting, we do not support any other
+        // selection or highlighting.
+        return;
     }
 
     // For left button clicks we always record some information for