This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 317

Summary: Imprecise description of undo
Product: UPPAAL Reporter: Ulrik Nyman <ulrik>
Component: DocumentationAssignee: John HÃ¥kansson <johnh>
Severity: normal    
Priority: P2    
Version: unspecified   
Hardware: All   
OS: All   

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.
Comment 1 Ulrik Nyman 2006-04-26 21:38:14 CEST
Relates to bug 318