From eda28fd82662031fffe7f4f9dfe060d5ca2af321 Mon Sep 17 00:00:00 2001 From: Sergey Malenkov Date: Tue, 19 Mar 2019 19:22:01 +0300 Subject: [PATCH] IDEA-206348: do not hide a suggestion by pressing AltGr --- .../platform-impl/src/com/intellij/ide/IdeEventQueue.java | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/platform/platform-impl/src/com/intellij/ide/IdeEventQueue.java b/platform/platform-impl/src/com/intellij/ide/IdeEventQueue.java index f0fc1d3e428c..c3f3b92ae5dd 100644 --- a/platform/platform-impl/src/com/intellij/ide/IdeEventQueue.java +++ b/platform/platform-impl/src/com/intellij/ide/IdeEventQueue.java @@ -369,6 +369,11 @@ public class IdeEventQueue extends EventQueue { e = metaEvent; } if (JAVA_11_OR_LATER && (SystemInfo.isMac || SystemInfo.isWindows)) { + if (e instanceof KeyEvent && ((KeyEvent)e).getKeyCode() == KeyEvent.VK_ALT_GRAPH) { + if (!Registry.is("actionSystem.force.alt.gr") && Registry.is("actionSystem.fix.alt.gr")) { + ((KeyEvent)e).setKeyCode(KeyEvent.VK_ALT); + } + } if (e instanceof InputEvent && ((InputEvent)e).isAltGraphDown()) { if (!Registry.is("actionSystem.force.alt.gr") && Registry.is("actionSystem.fix.alt.gr")) { try {