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);