void (@NotNull ThreeSide masterSide, int[] startLines, int[] endLines, boolean animate) { doMakeVisible(masterSide.getIndex(), startLines, endLines, animate, myScrollable12.forceSyncVerticalScroll() || myScrollable23.forceSyncVerticalScroll()); }