Merge pull request #16719 from calixteman/bug1844625

[Editor] Allow to delete an editor in using the Delete key (aka fn+backspace) (bug 1844625)
This commit is contained in:
calixteman 2023-07-20 19:42:38 +02:00 committed by GitHub
commit 2a508b95e1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -578,6 +578,7 @@ class AnnotationEditorUIManager {
"Delete",
"ctrl+Delete",
"shift+Delete",
"mac+Delete",
],
AnnotationEditorUIManager.prototype.delete,
],