Searched refs:REPLACEMENTS (Results 1 – 1 of 1) sorted by relevance
24 private static final char[] REPLACEMENTS = {'\u2212', '\u00d7', '\u00f7'}; field in CalculatorEditable57 delta = delta.replace(ORIGINALS[i], REPLACEMENTS[i]); in internalReplace()