Searched refs:mmBefore (Results 1 – 1 of 1) sorted by relevance
520 private final CharSequence mmBefore; field in ScriptEditor.EditItem529 mmBefore = before; in EditItem()543 text.replace(start, end, edit.mmBefore); in undo()549 Selection.setSelection(text, edit.mmBefore == null ? start : (start + edit.mmBefore.length())); in undo()559 int end = start + (edit.mmBefore != null ? edit.mmBefore.length() : 0); in redo()