boolean (@NotNull FileEditorState otherState, @NotNull FileEditorStateLevel level) { if (otherState instanceof LargeFileEditorState state) { return caretPageNumber == state.caretPageNumber && caretSymbolOffsetInPage == state.caretSymbolOffsetInPage; } return false; }