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

Bug 317 - Imprecise description of undo
Summary: Imprecise description of undo
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Documentation (show other bugs)
Version: unspecified
Hardware: All All
: P2 normal
Assignee: John Håkansson
URL:
Depends on:
Blocks:
 
Reported: 2006-04-26 21:30 CEST by Ulrik Nyman
Modified: 2006-04-28 10:24 CEST (History)
0 users

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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