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

Bug 446 - Undo of location/transition colors
Summary: Undo of location/transition colors
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.0.6
Hardware: All All
: P2 trivial
Assignee: Alexandre David
URL:
Depends on:
Blocks:
 
Reported: 2008-06-19 11:07 CEST by Jacob Illum
Modified: 2008-09-09 17:26 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 Jacob Illum 2008-06-19 11:07:44 CEST 
When you select a new color of a location or transition, the undo action does not force a redraw for the location/transition to show the color change. However, the undo has taken place as witnessed by going to the declaration and then back to the template.

How to trigger the bug:
1. Right click location/transition and select a new color
2. Click anywhere on the canvas to remove selection of location/transition
3. Undo using either Ctrl-Z or Edit->Undo
4. Witness that color didn't change back
5. Go to other template/declaration/system in the tree and back
6. Witness that color has indeed changed