Lines Matching defs:undo
191 // Each Editor manages its own undo stack.
375 // Synchronize the filter list, which places the undo input filter at the end.
398 // Re-associate this object as the owner of undo state.
403 * Forgets all undo and redo operations for this Editor.
421 void undo() {
426 mUndoManager.undo(owners, 1); // Undo 1 action.
2767 com.android.internal.R.string.undo)
6333 * An InputFilter that monitors text input to maintain undo history. It does not modify the
6394 // Check to see if this edit should be tracked for undo.
6441 // a single operation. Always undo the whole set of changes in one step.
6468 * Fetches the last undo operation and checks to see if a new edit should be merged into it.
6482 // change and this case should not create a new undo operation.
6507 if (DEBUG_UNDO) Log.d(TAG, "filter: undo is disabled");
6512 if (DEBUG_UNDO) Log.d(TAG, "filter: skipping, currently performing undo/redo");
6518 // attempt to undo invalid operations.
6553 * An operation to undo a single "edit" to a text view.
6633 public void undo() {
6634 if (DEBUG_UNDO) Log.d(TAG, "undo");