From 74384400e2eb41880c802a17a0d60cf8b6b4e6cc Mon Sep 17 00:00:00 2001
From: "Michael michael.sytko" <michael.sytko@gmail.com>
Date: Sat, 28 Jan 2017 12:05:20 +0100
Subject: [PATCH] configurable shortcut for comment / uncomment

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

diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java
index 7d2627195..00dacb7bb 100644
--- a/app/src/processing/app/Editor.java
+++ b/app/src/processing/app/Editor.java
@@ -1344,7 +1344,7 @@ public class Editor extends JFrame implements RunnerListener {
 
     menu.addSeparator();
 
-    JMenuItem commentItem = newJMenuItem(tr("Comment/Uncomment"), '/');
+    JMenuItem commentItem = newJMenuItem(tr("Comment/Uncomment"), PreferencesData.get("editor.keys.shortcut_comment", "/").charAt(0));
     commentItem.addActionListener(new ActionListener() {
         public void actionPerformed(ActionEvent e) {
           getCurrentTab().handleCommentUncomment();