void (@NotNull MarkdownApplicationSettings newSettings) { TextEditorWithPreview.Layout oldSplitEditorLayout = MarkdownApplicationSettings.getInstance().getMarkdownPreviewSettings().getSplitEditorLayout(); boolean oldVerticalSplitOption = MarkdownApplicationSettings.getInstance().getMarkdownPreviewSettings().isVerticalSplit(); ApplicationManager.getApplication().invokeLater(() -> { if (oldSplitEditorLayout == mySplitEditorLayout) { triggerLayoutChange(newSettings.getMarkdownPreviewSettings().getSplitEditorLayout(), false); } if (oldVerticalSplitOption == myVerticalSplitOption) { triggerSplitOrientationChange(newSettings.getMarkdownPreviewSettings().isVerticalSplit()); } }); }