changed highlighter layer for placeholders
authorLiana Bakradze <liana.bakradze@jetbrains.com>
Tue, 1 Mar 2016 12:23:00 +0000 (15:23 +0300)
committerLiana Bakradze <liana.bakradze@jetbrains.com>
Tue, 1 Mar 2016 12:23:50 +0000 (15:23 +0300)
python/educational-core/src/com/jetbrains/edu/EduAnswerPlaceholderPainter.java

index 137062810ec9b691da64e8246eee290656129029..da2972c440c32dab033c62ed368335aaabc632d5 100644 (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()
 
   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);
   }
 
     blocks.add(rh);
   }