diff --git a/platform/lang-impl/src/com/intellij/execution/console/ConsolePromptDecorator.kt b/platform/lang-impl/src/com/intellij/execution/console/ConsolePromptDecorator.kt index 08921ec7669a..078ce65ba721 100644 --- a/platform/lang-impl/src/com/intellij/execution/console/ConsolePromptDecorator.kt +++ b/platform/lang-impl/src/com/intellij/execution/console/ConsolePromptDecorator.kt @@ -77,6 +77,8 @@ class ConsolePromptDecorator(private val myEditorEx: EditorEx) : EditorLinePaint override fun gutterClosed() {} + override fun useMargin(): Boolean = false + fun update() { UIUtil.invokeLaterIfNeeded { myEditorEx.gutterComponentEx.revalidateMarkup()