From 786019eb0d06d62b8008f3678576d93c4a150406 Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Thu, 18 Jun 2026 23:21:53 +0200
Subject: [PATCH] Remove the unused
 `AnnotationEditorUIManager.prototype.isSelected` method

According to the coverage data this method is unused, see https://app.codecov.io/gh/mozilla/pdf.js/commit/e20c810dd4edf6dceab4aca6dba41ec52e285741/blob/src/display/editor/tools.js?dropdown=coverage#L2552, and searching through the entire code-base reveals no call-site invoking an `isSelected` method.
---
 src/display/editor/tools.js | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/src/display/editor/tools.js b/src/display/editor/tools.js
index ac3358493..d68b78c3f 100644
--- a/src/display/editor/tools.js
+++ b/src/display/editor/tools.js
@@ -2545,14 +2545,6 @@ class AnnotationEditorUIManager {
     });
   }
 
-  /**
-   * Check if the editor is selected.
-   * @param {AnnotationEditor} editor
-   */
-  isSelected(editor) {
-    return this.#selectedEditors.has(editor);
-  }
-
   get firstSelectedEditor() {
     return this.#selectedEditors.values().next().value;
   }