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

better class naming

Browse Source
This commit is contained in:
Vladimir Krivosheev
2014-02-20 11:32:25 +01:00
parent 4a5c63e947
commit 709bbc08d7
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/execution/console/LanguageConsoleBuilder.java
+3 -3
View File
@@ -239,7 +239,7 @@ public class LanguageConsoleBuilder {
EditorEx editor = getHistoryViewer();
int endOffset = getDocument().getTextLength();
lineSeparatorPainter = new MyRangeMarkerImpl(editor, endOffset);
lineSeparatorPainter = new LineSeparatorPainter(editor, endOffset);
editor.getMarkupModel().addRangeHighlighter(lineSeparatorPainter, 0, endOffset, false, false, HighlighterLayer.ADDITIONAL_SYNTAX);
}
@@ -306,7 +306,7 @@ public class LanguageConsoleBuilder {
}
}
private final class MyRangeMarkerImpl extends RangeMarkerImpl implements RangeHighlighterEx, Getter<RangeHighlighterEx> {
private final class LineSeparatorPainter extends RangeMarkerImpl implements RangeHighlighterEx, Getter<RangeHighlighterEx> {
private final CustomHighlighterRenderer renderer = new CustomHighlighterRenderer() {
@Override
public void paint(@NotNull Editor editor, @NotNull RangeHighlighter highlighter, @NotNull Graphics g) {
@@ -332,7 +332,7 @@ public class LanguageConsoleBuilder {
}
};
public MyRangeMarkerImpl(@NotNull EditorEx editor, int endOffset) {
public LineSeparatorPainter(@NotNull EditorEx editor, int endOffset) {
super(editor.getDocument(), 0, endOffset, false);
}