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

changed highlighter layer for placeholders

Browse Source
This commit is contained in:
Liana Bakradze
2016-03-01 15:23:50 +03:00
parent 8bf2feae7a
commit 30e7ac3a3b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/educational-core/src/com/jetbrains/edu/EduAnswerPlaceholderPainter.java
+1 -1
View File
@@ -51,7 +51,7 @@ public class EduAnswerPlaceholderPainter {
public static void createGuardedBlock(Editor editor, List<RangeMarker> blocks, int start, int end) {
RangeHighlighter rh = editor.getMarkupModel()
.addRangeHighlighter(start, end, HighlighterLayer.LAST + 1, null, HighlighterTargetArea.EXACT_RANGE);
.addRangeHighlighter(start, end, PLACEHOLDERS_LAYER, null, HighlighterTargetArea.EXACT_RANGE);
blocks.add(rh);
}