Lines Matching defs:MAGIC1
137 final char MAGIC1 = '\uEF00';
169 format = format.substring(0, a) + MAGIC1 + format.substring(a, b)
181 int magic1 = result.indexOf(MAGIC1);
183 if (magic1 >= 0 && magic2 > magic1) {
186 formatted.delete(magic1, magic2+1);
190 formatted.setSpan(style, magic1, magic2,
194 formatted.delete(magic1, magic1 + 1);