From 30e7ac3a3b1248e45c79bbd666e4ffbf9a7dd981 Mon Sep 17 00:00:00 2001 From: Liana Bakradze Date: Tue, 1 Mar 2016 15:23:00 +0300 Subject: [PATCH] changed highlighter layer for placeholders --- .../src/com/jetbrains/edu/EduAnswerPlaceholderPainter.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/python/educational-core/src/com/jetbrains/edu/EduAnswerPlaceholderPainter.java b/python/educational-core/src/com/jetbrains/edu/EduAnswerPlaceholderPainter.java index 137062810ec9..da2972c440c3 100644 --- a/python/educational-core/src/com/jetbrains/edu/EduAnswerPlaceholderPainter.java +++ b/python/educational-core/src/com/jetbrains/edu/EduAnswerPlaceholderPainter.java @@ -51,7 +51,7 @@ public class EduAnswerPlaceholderPainter { public static void createGuardedBlock(Editor editor, List 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); }