Searched refs:DIGIT_PLACEHOLDER (Results 1 – 1 of 1) sorted by relevance
90 private static final String DIGIT_PLACEHOLDER = "\u2008"; field in AsYouTypeFormatter91 private static final Pattern DIGIT_PATTERN = Pattern.compile(DIGIT_PLACEHOLDER);251 template = template.replaceAll("9", DIGIT_PLACEHOLDER); in getFormattingTemplate()