Lines Matching defs:undo
157 // Each Editor manages its own undo stack.
298 // Synchronize the filter list, which places the undo input filter at the end.
315 // Re-associate this object as the owner of undo state.
320 * Forgets all undo and redo operations for this Editor.
338 void undo() {
343 mUndoManager.undo(owners, 1); // Undo 1 action.
2526 com.android.internal.R.string.undo)
5697 * An InputFilter that monitors text input to maintain undo history. It does not modify the
5752 // Check to see if this edit should be tracked for undo.
5769 * this function created an undo operation for it.
5803 // a single operation. Always undo the whole set of changes in one step.
5814 * Fetches the last undo operation and checks to see if a new edit should be merged into it.
5829 // change and this case should not create a new undo operation.
5853 if (DEBUG_UNDO) Log.d(TAG, "filter: undo is disabled");
5858 if (DEBUG_UNDO) Log.d(TAG, "filter: skipping, currently performing undo/redo");
5864 // attempt to undo invalid operations.
5899 * An operation to undo a single "edit" to a text view.
5979 public void undo() {
5980 if (DEBUG_UNDO) Log.d(TAG, "undo");