Sakurai/pdf.js
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #15187 from calixteman/rm_useless_ed

Browse Source 
[Editor] Remove useless and potentially deleted editors
This commit is contained in:
calixteman 2022-07-20 10:04:22 +02:00 committed by GitHub
commit 33d7a35515
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -786,6 +786,7 @@ class AnnotationEditorUIManager {
delete() {
let cmd, undo;
if (this.#isAllSelected) {
this.#previousActiveEditor = this.#activeEditor = null;
const editors = Array.from(this.#allEditors.values());
cmd = () => {
for (const editor of editors) {
@ -807,6 +808,7 @@ class AnnotationEditorUIManager {
return;
}
const editor = this.#activeEditor;
this.#previousActiveEditor = this.#activeEditor = null;
cmd = () => {
editor.remove();
};
@ -834,15 +836,7 @@ class AnnotationEditorUIManager {
cut() {
if (this.#activeEditor) {
this.#clipboardManager.copy(this.#activeEditor);
const editor = this.#activeEditor;
const cmd = () => {
editor.remove();
};
const undo = () => {
this.#addEditorToLayer(editor);
};
this.addCommands({ cmd, undo, mustExec: true });
this.delete();
}
}