IElementType (IElementType source, int start, int end, CharSequence text) { if (source == PyTokenTypes.DOT && CharArrayUtil.regionMatches(text, start, end, "...")) return PyDocstringTokenTypes.DOTS; if (source == PyTokenTypes.GTGT && CharArrayUtil.regionMatches(text, start, end, ">>>")) return PyTokenTypes.SPACE; return super.filter(source, start, end, text); }