Merge pull request processing#4457 from JakubValtar/comment-key-fix

benfry · benfry · commit aad493e4ffd1 · 2016-05-09T20:15:54.000-04:00
Make Comment/Uncomment trigger on numpad slash
diff --git a/app/src/processing/app/ui/Editor.java b/app/src/processing/app/ui/Editor.java
@@ -260,6 +260,19 @@ public void paintComponent(Graphics g) {
     textarea.setRightClickPopup(new TextAreaPopup());
     textarea.setHorizontalOffset(JEditTextArea.leftHandGutter);
 
+    { // Hack: add Numpad Slash as an alternative shortcut for Comment/Uncomment
+      int modifiers = Toolkit.awtToolkit.getMenuShortcutKeyMask();
+      KeyStroke keyStroke = KeyStroke.getKeyStroke(KeyEvent.VK_DIVIDE, modifiers);
+      final String ACTION_KEY = "COMMENT_UNCOMMENT_ALT";
+      textarea.getInputMap().put(keyStroke, ACTION_KEY);
+      textarea.getActionMap().put(ACTION_KEY, new AbstractAction() {
+        @Override
+        public void actionPerformed(ActionEvent e) {
+          handleCommentUncomment();
+        }
+      });
+    }
+
     footer = createFooter();
 
     upper.add(textarea);
