TextRange (PsiElement element, int offset, TextRange range) { final int[] offsets = element.getUserData(ESCAPE_OFFSETS); if (offsets != null) { int start = offsets[range.getStartOffset()]; int end = offsets[range.getEndOffset()]; return new TextRange(offset + start, offset + end); } return super.getHighlightingRange(element, offset, range); }