IDEA-123867 Alignment between editor main are and gutter is lost while scrolling

This commit is contained in:
Gregory.Shrago
2014-04-11 18:03:44 +04:00
parent 5d09a00c83
commit aab16ff542
@@ -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