Bug 318

Summary: Undo/redo only works in the editor pane
Product: UPPAAL Reporter: Ulrik Nyman <ulrik>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: minor    
Priority: P2    
Version: unspecified   
Hardware: All   
OS: All   
Architecture:

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).