From 2499b97c2ecdbd35fc26fc9a66e6aea4ee94f37b Mon Sep 17 00:00:00 2001
From: Jakub Valtar <jakub.valtar@gmail.com>
Date: Wed, 5 Aug 2015 18:50:12 -0400
Subject: [PATCH] Fix delete tab shortcut

---
 app/src/processing/app/ui/EditorHeader.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/src/processing/app/ui/EditorHeader.java b/app/src/processing/app/ui/EditorHeader.java
index 86f40c0e6..c8666dc63 100644
--- a/app/src/processing/app/ui/EditorHeader.java
+++ b/app/src/processing/app/ui/EditorHeader.java
@@ -518,7 +518,7 @@ public class EditorHeader extends JComponent {
       }
     };
     mapKey = "editor.header.delete";
-    keyStroke = KeyStroke.getKeyStroke(KeyEvent.VK_D, Toolkit.SHORTCUT_ALT_KEY_MASK);
+    keyStroke = KeyStroke.getKeyStroke(KeyEvent.VK_D, Toolkit.SHORTCUT_SHIFT_KEY_MASK);
     inputMap.put(keyStroke, mapKey);
     actionMap.put(mapKey, action);
     item.addActionListener(action);