Lines Matching defs:repl
258 Replaced[] repl = content.getSpans(0, content.length(),
260 for (int a = 0; a < repl.length; a++)
261 content.removeSpan(repl[a]);
315 Replaced[] repl = content.getSpans(selStart - consider, selStart,
318 if (repl.length > 0) {
319 int st = content.getSpanStart(repl[0]);
320 int en = content.getSpanEnd(repl[0]);
321 String old = new String(repl[0].mText);
323 content.removeSpan(repl[0]);
413 Replaced[] repl = content.getSpans(0, content.length(), Replaced.class);
414 for (int a = 0; a < repl.length; a++) {
415 content.removeSpan(repl[a]);