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 #17907 from calixteman/fix_draw_ink

Browse source 
[Editor] Don't add an already added editor (bug 1890367)
This commit is contained in:
Tim van der Meij 2024-04-08 20:44:21 +02:00 • committed by GitHub
commit 30b65ca067
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 44 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -481,6 +481,9 @@ class AnnotationEditorLayer {
* @param {AnnotationEditor} editor
*/
add(editor) {
if (editor.parent === this && editor.isAttachedToDOM) {
return;
}
this.changeParent(editor);
this.#uiManager.addEditor(editor);
this.attach(editor);