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