Searched refs:EditItem (Results 1 – 1 of 1) sorted by relevance
452 mmEditHistory.add(new EditItem(start, mmBeforeChange, mmAfterChange)); in onTextChanged()477 private final Vector<EditItem> mmHistory = new Vector<EditItem>();485 private void add(EditItem item) { in add()494 private EditItem getPrevious() { in getPrevious()505 private EditItem getNext() { in getNext()509 EditItem item = mmHistory.get(mmPosition); in getNext()518 private final class EditItem { class in ScriptEditor527 public EditItem(int start, CharSequence before, CharSequence after) { in EditItem() method in ScriptEditor.EditItem535 EditItem edit = mHistory.getPrevious(); in undo()553 EditItem edit = mHistory.getNext(); in redo()