|Summary:||Imprecise description of undo|
|Product:||UPPAAL||Reporter:||Ulrik Nyman <ulrik>|
|Component:||Documentation||Assignee:||John Håkansson <johnh>|
Description Ulrik Nyman 2006-04-26 21:30:50 CEST
The description of the undo/redo menu points is not precise. The current text is: Undo: reverses your most recent text-editing action. Redo: re-applies the editing action that has most recently been reversed by the Undo action. Undo does not only apply to text editing actions. It should also be stated that the undo/redo functions only work in the editor.