From 86e343f2bb48bf4da408c3b3da7eb69574feb634 Mon Sep 17 00:00:00 2001 From: Denis Zhdanov Date: Thu, 31 Mar 2011 14:54:09 +0400 Subject: [PATCH] Unnecessary cast is removed --- .../src/com/intellij/execution/impl/ConsoleViewImpl.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platform/lang-impl/src/com/intellij/execution/impl/ConsoleViewImpl.java b/platform/lang-impl/src/com/intellij/execution/impl/ConsoleViewImpl.java index 525d5602097b..38b6bd3d1cfd 100644 --- a/platform/lang-impl/src/com/intellij/execution/impl/ConsoleViewImpl.java +++ b/platform/lang-impl/src/com/intellij/execution/impl/ConsoleViewImpl.java @@ -1317,7 +1317,7 @@ public class ConsoleViewImpl extends JPanel implements ConsoleView, ObservableCo private void addFolding(Document document, CharSequence chars, int line, List toAdd) { String commandLinePlaceholder = myCommandLineFolding.getPlaceholder(line); if (commandLinePlaceholder != null) { - FoldRegion region = ((FoldingModelEx)myEditor.getFoldingModel()).createFoldRegion( + FoldRegion region = myEditor.getFoldingModel().createFoldRegion( document.getLineStartOffset(line), document.getLineEndOffset(line), commandLinePlaceholder, null, false ); toAdd.add(region);