From 6f2f708103f5ca05b1e704a4fd2c08d87623783b Mon Sep 17 00:00:00 2001 From: Jakub Valtar Date: Wed, 5 Aug 2015 19:01:21 -0400 Subject: [PATCH] Do not filter Ctrl+Alt+? out as menu mnemonics --- app/src/processing/app/syntax/PdeInputHandler.java | 1 + 1 file changed, 1 insertion(+) diff --git a/app/src/processing/app/syntax/PdeInputHandler.java b/app/src/processing/app/syntax/PdeInputHandler.java index cb5c2b356..2fd2573b3 100755 --- a/app/src/processing/app/syntax/PdeInputHandler.java +++ b/app/src/processing/app/syntax/PdeInputHandler.java @@ -193,6 +193,7 @@ public class PdeInputHandler extends DefaultInputHandler { // non-ASCII chars, and there are no menu mnemonics to speak of if (!Base.isMacOS()) { if ((event.getModifiers() & InputEvent.ALT_MASK) != 0 && + (event.getModifiers() & InputEvent.CTRL_MASK) == 0 && event.getKeyChar() != KeyEvent.VK_UNDEFINED) { // This is probably a menu mnemonic, don't pass it through. // If it's an alt-NNNN sequence, those only work on the keypad