From dec28d247fdcfd16bab3bfcb1087bbe42b076fec Mon Sep 17 00:00:00 2001 From: Vladimir Krivosheev Date: Wed, 19 Feb 2014 19:44:10 +0100 Subject: [PATCH] revert unfinished changes --- .../com/intellij/execution/console/LanguageConsoleBuilder.java | 3 --- 1 file changed, 3 deletions(-) diff --git a/platform/lang-impl/src/com/intellij/execution/console/LanguageConsoleBuilder.java b/platform/lang-impl/src/com/intellij/execution/console/LanguageConsoleBuilder.java index 6aee86e2a355..ab7fc335f3a1 100644 --- a/platform/lang-impl/src/com/intellij/execution/console/LanguageConsoleBuilder.java +++ b/platform/lang-impl/src/com/intellij/execution/console/LanguageConsoleBuilder.java @@ -137,9 +137,6 @@ public class LanguageConsoleBuilder { editor.getSettings().setAdditionalLinesCount(1); } else if (gutterContentProvider != null) { - editor.setCaretEnabled(true); - editor.setCaretVisible(true); - final ConsoleIconGutterComponent lineStartGutter = new ConsoleIconGutterComponent(editor, gutterContentProvider); final ConsoleGutterComponent lineEndGutter = new ConsoleGutterComponent(editor, gutterContentProvider); JLayeredPane layeredPane = new JBLayeredPane() {