void (@NotNull FileEditorState state, @NotNull Project project, @NotNull Element targetElement) { if (state instanceof LargeFileEditorState) { targetElement.setAttribute(CARET_PAGE_NUMBER_ATTR, Long.toString(((LargeFileEditorState)state).caretPageNumber)); targetElement.setAttribute(CARET_PAGE_SYMBOL_OFFSET_ATTR, Integer.toString(((LargeFileEditorState)state).caretSymbolOffsetInPage)); } }