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

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

See Also:


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