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