From aab16ff5426757b080c8d809984a5899d9284558 Mon Sep 17 00:00:00 2001 From: "Gregory.Shrago" Date: Fri, 11 Apr 2014 18:03:44 +0400 Subject: [PATCH] IDEA-123867 Alignment between editor main are and gutter is lost while scrolling --- .../src/com/intellij/openapi/editor/impl/EditorImpl.java | 2 +- 1 file changed, 1 insertion(+), 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 2b1da0c2b150..b02c1d6d9736 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 @@ -4042,7 +4042,7 @@ public final class EditorImpl extends UserDataHolderBase implements EditorEx, Hi // The call below is performed because gutter's height is not updated sometimes, i.e. it sticks to the value that corresponds // to the situation when fold region is collapsed. That causes bottom of the gutter to not be repainted and that looks really ugly. - getGutterComponentEx().invalidate(); + myGutterComponent.updateSize(); } // The general idea is to check if the user performed 'caret position change click' (left click most of the time) inside selection