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

Bug 318 - Undo/redo only works in the editor pane
Summary: Undo/redo only works in the editor pane
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: unspecified
Hardware: All All
: P2 minor
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2006-04-26 21:37 CEST by Ulrik Nyman
Modified: 2009-02-04 16:19 CET (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:37:08 CEST 
The undo/redo menu options work only in the editor pane. So, if one deletes a property in the verification pane, then it cannot be recovered by the undo option.

Another aspect of this bug is that if one choses undo while in one of the other panes, it still has effect on the editor pane.

A simple fix would be to turn this part off and grey the menu points while the other panes are active.
Comment 1 Ulrik Nyman 2006-04-26 21:37:47 CEST 
Relates to bug 317
Comment 2 Gerd Behrmann 2006-05-17 11:28:00 CEST 
As this is a minor usability issue, I reduce priority and delay the work to post 4.0.
Comment 3 Marius Mikučionis 2009-02-04 16:19:19 CET 
This has been fixed in development version (trunk: 4.1 branch) for quite a while now (by disabling the menu/toolbar actions).
It would be nice to have undo/redo within verifier though, but it will have to wait until properties become part of the "project" document, i.e. when we will have all elements in one file (or in one DOM representation at least).