void (@NotNull MarkdownSettings settings) { addImmediateRequest(mySwingAlarm, () -> { if (settings.getSplitLayout() != TextEditorWithPreview.Layout.SHOW_EDITOR) { if (myPanel == null) { attachHtmlPanel(); } else if (myLastPanelProviderInfo == null || MarkdownHtmlPanelProvider.createFromInfo(myLastPanelProviderInfo).equals(retrievePanelProvider(settings))) { detachHtmlPanel(); attachHtmlPanel(); } } if (myPanel != null) { myPanel.reloadWithOffset(mainEditor.getCaretModel().getOffset()); } }); }