For reference:
https://github.com/mozilla/pdf.js/issues/15571#issuecomment-1278141781
return this.#selectedEditors.has(editor);
  }
  /**
   * Unselect an editor.
   * @param {AnnotationEditor} editor
   */
  unselect(editor) {
    editor.unselect();
    this.#selectedEditors.delete(editor);
    this.#dispatchUpdateStates({
      hasSelectedEditor: this.hasSelection,
    });
  }
  get hasSelection() {