From 5e29ec6cb2996ad705c6d1ba8d54ca9427132f06 Mon Sep 17 00:00:00 2001
From: Dmitry Batrak <Dmitry.Batrak@jetbrains.com>
Date: Mon, 13 Oct 2014 17:12:34 +0400
Subject: [PATCH] adding carets on double-Ctrl+arrows is not triggered
 sometimes

---
 .../openapi/keymap/impl/ModifierKeyDoubleClickHandler.java      | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform/platform-impl/src/com/intellij/openapi/keymap/impl/ModifierKeyDoubleClickHandler.java b/platform/platform-impl/src/com/intellij/openapi/keymap/impl/ModifierKeyDoubleClickHandler.java
index 8a9031986ef8..d4b7b96e5006 100644
--- a/platform/platform-impl/src/com/intellij/openapi/keymap/impl/ModifierKeyDoubleClickHandler.java
+++ b/platform/platform-impl/src/com/intellij/openapi/keymap/impl/ModifierKeyDoubleClickHandler.java
@@ -117,7 +117,7 @@ public class ModifierKeyDoubleClickHandler {
             resetState();
             return false;
           }
-          if (ourOtherKeyWasPressed.get() && Clock.getTime() - ourLastTimePressed.get() < 500) {
+          if (myActionKeyCode == -1 && ourOtherKeyWasPressed.get() && Clock.getTime() - ourLastTimePressed.get() < 500) {
             resetState();
             return false;
           }