Remove the unused AnnotationEditorUIManager.prototype.isSelected method

According to the coverage data this method is unused, see e20c810dd4/blob/src/display/editor/tools.js (L2552), and searching through the entire code-base reveals no call-site invoking an `isSelected` method.
This commit is contained in:
Jonas Jenwald 2026-06-18 23:21:53 +02:00
parent e20c810dd4
commit 786019eb0d

View File

@ -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;
}