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

Bug 280

Summary: Colors on locations and edges
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Kim Algreen <algreen>
Status: RESOLVED FIXED    
Severity: enhancement    
Priority: P2    
Version: 3.6 Alpha 4   
Hardware: All   
OS: All   
Architecture:

Description Gerd Behrmann 2006-02-27 20:01:11 CET
The ability to select different colors for the locations of a model is very useful for documentation 
purposes. The color would not have any meaning to UPPAAL, but the user could assign a meaning to 
different colors, e.g. bad states, idle states, etc. The same is true for edges.

The GUI is already prepared for such a feature: The model representation contains color properties for 
all elements, and the view handlers retrieve color information from the model (in fact, this is even true 
for labels - even the font of labels is retrieved from the model). All that is needed is to:

- Add serialisation and deseralisation of the color properties to the XML and UGI formats
- Add items for selecting colors to the context menu of locations and edges
- Verify that the view handlers recognize changes in the color setting (they have to register event 
handlers for these properties).

I envision that the context-menu contains say 10 or 16 predefined colors and that the menu items are 
simply boxes with the colors (rather than the name of the color). Later on we could add a menu item for 
selecting custom colors with a color dialog.
Comment 1 Gerd Behrmann 2006-04-17 15:44:11 CEST
Fixed on the trunk from rev. 1720.