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

calixteman · Sep 1, 2022 · c4aa00b · c4aa00b
1 parent e9bdbe4
commit c4aa00b
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/src/display/editor/tools.js b/src/display/editor/tools.js
@@ -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]();
  }
  }