From cd97fcb4143e441f494184bd77523f7497f253e0 Mon Sep 17 00:00:00 2001
From: Calixte Denizet <calixte.denizet@gmail.com>
Date: Thu, 20 Jul 2023 19:08:54 +0200
Subject: [PATCH] [Editor] Allow to delete an editor in using the Delete key
 (aka fn+backspace) (bug 1844625)

---
 src/display/editor/tools.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/display/editor/tools.js b/src/display/editor/tools.js
index a61bf2093..641c93db4 100644
--- a/src/display/editor/tools.js
+++ b/src/display/editor/tools.js
@@ -578,6 +578,7 @@ class AnnotationEditorUIManager {
             "Delete",
             "ctrl+Delete",
             "shift+Delete",
+            "mac+Delete",
           ],
           AnnotationEditorUIManager.prototype.delete,
         ],