Searched refs:prefixStart (Results 1 – 1 of 1) sorted by relevance
82 int prefixStart = 0; in applyPrefixHighlight() local83 while (prefixStart < prefix.length() && in applyPrefixHighlight()84 !Character.isLetterOrDigit(prefix.charAt(prefixStart))) { in applyPrefixHighlight()85 prefixStart++; in applyPrefixHighlight()87 final String trimmedPrefix = prefix.substring(prefixStart); in applyPrefixHighlight()