void (@NotNull PsiFile file) { EditorStateKeeper editorStateKeeper = file.getUserData(EDITOR_STATE_KEY); if (editorStateKeeper != null) { file.putUserData(EDITOR_STATE_KEY, null); editorStateKeeper.restoreState(); } }