Searched refs:prefixStart (Results 1 – 1 of 1) sorted by relevance
78 int prefixStart = 0; in applyPrefixHighlight() local79 while (prefixStart < prefix.length() && in applyPrefixHighlight()80 !Character.isLetterOrDigit(prefix.charAt(prefixStart))) { in applyPrefixHighlight()81 prefixStart++; in applyPrefixHighlight()83 final String trimmedPrefix = prefix.substring(prefixStart); in applyPrefixHighlight()