MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Unnecessary cast is removed

Browse Source
This commit is contained in:
Denis Zhdanov
2011-03-31 14:54:09 +04:00
parent 15b3a5f377
commit 86e343f2bb
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/execution/impl/ConsoleViewImpl.java
+1 -1
View File
@@ -1317,7 +1317,7 @@ public class ConsoleViewImpl extends JPanel implements ConsoleView, ObservableCo
private void addFolding(Document document, CharSequence chars, int line, List<FoldRegion> 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);