void (@NotNull FileEditorState state) { if (state instanceof MarkdownEditorWithPreviewState actualState) { super.setState(actualState.getUnderlyingState()); setVerticalSplit(actualState.isVerticalSplit()); } }