From 21372f6a58b13a4e3714da1f931cb0f1c7a66b40 Mon Sep 17 00:00:00 2001
From: Matthew Lawrence <matt@atticus.tech>
Date: Wed, 26 Nov 2025 16:29:13 +1100
Subject: [PATCH] fix: support text selection under search highlights

---
 web/text_layer_builder.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/web/text_layer_builder.js b/web/text_layer_builder.js
index cee7e0bab..424505ce9 100644
--- a/web/text_layer_builder.js
+++ b/web/text_layer_builder.js
@@ -318,7 +318,8 @@ class TextLayerBuilder {
 
         const parentTextLayer = anchor.parentElement?.closest(".textLayer");
         const endDiv = this.#textLayers.get(parentTextLayer);
-        if (endDiv) {
+        const anchorHighlighted = anchor.classList?.contains("highlight");
+        if (endDiv && !anchorHighlighted) {
           endDiv.style.width = parentTextLayer.style.width;
           endDiv.style.height = parentTextLayer.style.height;
           anchor.parentElement.insertBefore(