From a4fcdde8bc393b01938c7eabd95ab1e40f3b4d8b Mon Sep 17 00:00:00 2001
From: Vassiliy <vassiliy.kudryashov@jetbrains.com>
Date: Mon, 19 May 2014 22:13:59 +0400
Subject: [PATCH] IDEA-125289 Unexpected navigation after folding

---
 .../src/com/intellij/openapi/editor/impl/EditorImpl.java     | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorImpl.java b/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorImpl.java
index df100385cd77..31c81684a44f 100644
--- a/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorImpl.java
+++ b/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorImpl.java
@@ -5457,7 +5457,9 @@ public final class EditorImpl extends UserDataHolderBase implements EditorEx, Hi
     @Override
     public void mouseReleased(@NotNull MouseEvent e) {
       myMousePressArea = null;
-      runMouseReleasedCommand(e);
+      if (myMousePressedEvent == null || !myMousePressedEvent.isConsumed()) {
+        runMouseReleasedCommand(e);
+      }
       if (!e.isConsumed() && myMousePressedEvent != null && !myMousePressedEvent.isConsumed() &&
           Math.abs(e.getX() - myMousePressedEvent.getX()) < EditorUtil.getSpaceWidth(Font.PLAIN, EditorImpl.this) &&
           Math.abs(e.getY() - myMousePressedEvent.getY()) < getLineHeight()) {
@@ -5632,6 +5634,7 @@ public final class EditorImpl extends UserDataHolderBase implements EditorEx, Hi
           getScrollingModel().scrollVertically(y - scrollShift);
           myGutterComponent.updateSize();
           validateMousePointer(e);
+          e.consume();
           return isNavigation;
         }
       }