void (@NotNull EditorsVisiblePositions visiblePositions, @NotNull List<? extends Editor> editors) { for (int i = 0; i < editors.size(); i++) { Editor editor = editors.get(i); if (editor != null) DiffUtil.scrollToPoint(editor, visiblePositions.myPoints[i], false); } }