Lines Matching refs:undo
1112 frame.editor().undo();1573 { "Undo", {132, executeUndo, supported, enabledUndo, stateNone, valueNull, notTextInsertion, doNotAllowExecutionWhenDisabled } },