working on a fix for #3057

This commit is contained in:
Ben Fry
2015-04-01 11:55:20 -04:00
parent de60df8b03
commit b52fdb7f14

View File

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