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

Bug 318

Summary:	Undo/redo only works in the editor pane
Product:	UPPAAL	Reporter:	Ulrik Nyman <ulrik>
Component:	GUI	Assignee:	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).