void (@NotNull FileEditorState state) { if (state instanceof LargeFileEditorState largeFileEditorState) { editorModel.setCaretAndShow(largeFileEditorState.caretPageNumber, largeFileEditorState.caretSymbolOffsetInPage); } }