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

[Editor] Remove some useless code (#15373 follow-up)

Browse source
This commit is contained in:
Calixte Denizet 2022-09-01 19:34:30 +02:00
parent e9bdbe4574
commit c4aa00bee1
1 changed files with 1 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -580,11 +580,7 @@ class AnnotationEditorUIManager {
* @param {Object} details
*/
onEditingAction(details) {
if (
["undo", "redo", "cut", "copy", "paste", "delete", "selectAll"].includes(
details.name
)
) {
if (["undo", "redo", "delete", "selectAll"].includes(details.name)) {
this[details.name]();
}
}