mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IJPL-190637 MarkdownPreviewFileEditor: loп setting mainEditor
GitOrigin-RevId: e2a80ac4a1a5dfa065c5f10dbcc39227c1ea02e6
This commit is contained in:
committed by
intellij-monorepo-bot
parent
5ce946f2d1
commit
14ec17f69d
+1
@@ -136,6 +136,7 @@ class MarkdownPreviewFileEditor(
|
||||
fun setMainEditor(editor: Editor) {
|
||||
check(mainEditor.value == null)
|
||||
mainEditor.value = editor
|
||||
logger.info("MarkdownPreviewFileEditor: the main editor has been set")
|
||||
if (Registry.`is`("markdown.experimental.boundary.precise.scroll.enable")) {
|
||||
coroutineScope.launch { setupScrollHelper() }
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user