Avoid duplicate INT signal on windows, fixes #199

jline · Jan 8, 2018 · 2e31b52 · 2e31b52
1 parent 2fa2efc
commit 2e31b52
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/terminal/src/main/java/org/jline/terminal/impl/AbstractWindowsTerminal.java b/terminal/src/main/java/org/jline/terminal/impl/AbstractWindowsTerminal.java
@@ -279,7 +279,7 @@ protected void processKeyEvent(final boolean isKeyDown, final short virtualKeyCo
                     }
                 }
             }
-        } else if (ch == '\3') {
+        } else if (isKeyDown && ch == '\3') {
             processInputChar('\3');
         }
         // key up event