From b52fdb7f14c2f77ee1d164e204dbbaa8a7fb24c2 Mon Sep 17 00:00:00 2001
From: Ben Fry <fry@processing.org>
Date: Wed, 1 Apr 2015 11:55:20 -0400
Subject: [PATCH] working on a fix for #3057

---
 app/src/processing/app/Editor.java | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java
index c1363cc10..ca4c2a1e4 100644
--- a/app/src/processing/app/Editor.java
+++ b/app/src/processing/app/Editor.java
@@ -386,6 +386,11 @@ public abstract class Editor extends JFrame implements RunnerListener {
         super.processKeyEvent(evt);
 
         if (inputHandler != null) {
+          // Prevent sketch being marked modified cia ctrl-, on Windows/Linux 
+          if ((evt.getModifiers() & InputEvent.CTRL_MASK) != 0 && 
+              evt.getKeyChar() == ',') {
+            return;
+          }
           switch (evt.getID()) {  
           case KeyEvent.KEY_TYPED:
             inputHandler.keyTyped(evt);