@Override
  public void writeState(@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));
    }
  }
@Override
  public void writeState(@NotNull FileEditorState state, @NotNull Project project, @NotNull Element targetElement)