From 2c73d4fa06745bff06745dd796cc197705a58ba4 Mon Sep 17 00:00:00 2001
From: Vladimir Koshelev <vladimir.koshelev@jetbrains.com>
Date: Thu, 3 Oct 2019 15:45:26 +0300
Subject: [PATCH] don't use margin in ConsolePromptDecorator

IDEA-223509

GitOrigin-RevId: 7f408aa341ebf5280ca31a253c87cda1b18bced7
---
 .../com/intellij/execution/console/ConsolePromptDecorator.kt    | 2 ++
 1 file changed, 2 insertions(+)

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()