Searched refs:Undo (Results 176 – 178 of 178) sorted by relevance
12345678
24241 a.ui.addButton && (a.ui.addButton("Undo", {
426 …="RecoverFromMarkers",e[e.Explicit=3]="Explicit",e[e.Paste=4]="Paste",e[e.Undo=5]="Undo",e[e.Redo=…