mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-22 16:18:08 +02:00
Code Activity

Merge pull request #15195 from calixteman/empty_editor

Browse source 
[Editor] No need to click twice to create an editor when the last one is empty
This commit is contained in:
calixteman 2022-07-20 14:29:16 +02:00 • committed by GitHub
commit 408c10b5bb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/display/editor/annotation_editor_layer.js
View file

@ -572,7 +572,8 @@ class AnnotationEditorLayer {
return;
}
this.#allowClick = !this.#uiManager.hasActive();
const editor = this.#uiManager.getActive();
this.#allowClick = !editor || editor.isEmpty();
}
/**

12
src/display/editor/tools.js
View file

@ -938,7 +938,9 @@ class AnnotationEditorUIManager {
for (const editor of this.#allEditors.values()) {
editor.unselect();
}
this.#dispatchUpdateStates({ hasSelectedEditor: this.hasActive() });
this.#dispatchUpdateStates({
hasSelectedEditor: this.#activeEditor !== null,
});
}
/**
@ -958,14 +960,6 @@ class AnnotationEditorUIManager {
return this.#activeEditor;
}
/**
* Check if there is an active editor.
* @returns {boolean}
*/
hasActive() {
return this.#activeEditor !== null;
}
/**
* Get the current editor mode.
* @returns {number}