Searched refs:tokens_start (Results 1 – 1 of 1) sorted by relevance
291 const CodepointIndex tokens_start = tokens[click_position - span_left].start; in SpanToLabel() local294 tokens_match_span = tokens_start <= span.first && tokens_end >= span.second; in SpanToLabel()310 tokens_match_span = tokens_start <= span.first && in SpanToLabel()311 tokens_start + num_punctuation_start >= span.first && in SpanToLabel()