From 2631f4f3f002eba6d70d5ab1715de65c3568d1b0 Mon Sep 17 00:00:00 2001
From: Brian Sanders <bdougsand+cfb@gmail.com>
Date: Wed, 13 May 2020 06:10:57 -0400
Subject: [PATCH] Alters search highlights so they don't intercept pointer
 events

---
 iOS/Resources/main_ios.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/iOS/Resources/main_ios.js b/iOS/Resources/main_ios.js
index 961ae0844..e19200d3d 100644
--- a/iOS/Resources/main_ios.js
+++ b/iOS/Resources/main_ios.js
@@ -156,6 +156,7 @@ function makeHighlightRect({left, top, width, height}, offsetTop=0, offsetLeft=0
 		width: `${Math.ceil(width)}px`,
 		height: `${Math.ceil(height)}px`,
 		backgroundColor: 'rgba(200, 220, 10, 0.4)',
+		pointerEvents: 'none'
 	});
 
 	return overlay;