don't leak console via document listeners (IDEA-107996)

This commit is contained in:
peter
2013-05-29 18:07:28 +02:00
parent 9b760e6b8e
commit d135127ea9
@@ -875,7 +875,7 @@ public class ConsoleViewImpl extends JPanel implements ConsoleView, ObservableCo
highlightUserTokens();
}
}
});
}, this);
editor.getSettings().setAllowSingleLogicalLineFolding(true); // We want to fold long soft-wrapped command lines
editor.setHighlighter(createHighlighter());