Fix: "Ctrl+," and "Ctrl+/"

Linux and Windows: If you press "Ctrl+," to invoke the preferences dialog,
the file on editor will be marked as "modified". This behavior fixed.

Linux: If you press "Ctrl+/" to comment the line, the line will be replaced
with a single "/" letter. This behavior fixed.

Author: Shigeru KANEMOTO

app/src/processing/app/EditorListener.java

@@ -128,6 +128,12 @@ public boolean keyPressed(KeyEvent event) {
         event.consume();  // does nothing
         return false;
       }
+
+      // The char is not control code when CTRL key pressed? It should be a shortcut.
+      if (c >= ' ') {
+        event.consume();
+        return true;
+      }
     }
 
     if ((event.getModifiers() & KeyEvent.META_MASK) != 0) {
@@ -480,8 +486,8 @@ public boolean keyTyped(KeyEvent event) {
     char c = event.getKeyChar();
 
     if ((event.getModifiers() & KeyEvent.CTRL_MASK) != 0) {
-      // on linux, ctrl-comma (prefs) being passed through to the editor
-      if (c == KeyEvent.VK_COMMA) {
+      // The char is not control code when CTRL key pressed? It should be a shortcut.
+      if (c >= ' ') {
         event.consume();
         return true;
       }