Searched refs:changeTypeToken (Results 1 – 1 of 1) sorted by relevance
285 const changeTypeToken = Markdown.createHeadingToken(type, CHANGE_TYPE_HEADING_DEPTH); constant286 tokens.splice(i, 0, changeTypeToken);290 const changeTypeToken = tokens[i] as Markdown.HeadingToken; constant301 if (Markdown.isHeadingToken(item) && item.depth <= changeTypeToken.depth) {