mirror of
https://github.com/mozilla/pdf.js.git
synced 2026-07-12 10:05:47 +02:00
Merge pull request #21470 from Snuffleupagus/AnnotationEditorUIManager-rm-isSelected
Remove the unused `AnnotationEditorUIManager.prototype.isSelected` method
This commit is contained in:
commit
86b901fcde
@ -2545,14 +2545,6 @@ class AnnotationEditorUIManager {
|
|||||||
});
|
});
|
||||||
}
|
}
|
||||||
|
|
||||||
/**
|
|
||||||
* Check if the editor is selected.
|
|
||||||
* @param {AnnotationEditor} editor
|
|
||||||
*/
|
|
||||||
isSelected(editor) {
|
|
||||||
return this.#selectedEditors.has(editor);
|
|
||||||
}
|
|
||||||
|
|
||||||
get firstSelectedEditor() {
|
get firstSelectedEditor() {
|
||||||
return this.#selectedEditors.values().next().value;
|
return this.#selectedEditors.values().next().value;
|
||||||
}
|
}
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user