void (@NotNull DiffRequest request) { myScrollToChange = request.getUserData(DiffUserDataKeysEx.SCROLL_TO_CHANGE); myEditorsPosition = request.getUserData(EditorsVisiblePositions.KEY); myCaretPosition = request.getUserData(DiffUserDataKeysEx.EDITORS_CARET_POSITION); }