MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-125289 Unexpected navigation after folding

Browse Source
This commit is contained in:
Vassiliy
2014-05-19 22:14:41 +04:00
parent 894bbbd05e
commit a4fcdde8bc
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorImpl.java
+4 -1
View File
@@ -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;
}
}