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

Bug 84

Summary: "Property is maybe satisfied" hardly readable due to font colour
Product: UPPAAL Reporter: Juhan Ernits <juhan>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: CLOSED FIXED    
Severity: enhancement    
Priority: P2    
Version: 3.4.3   
Hardware: All   
OS: All   
Architecture:
Attachments: Tiny example for getting "property may be satisfied" answer when using under approximation

Description Juhan Ernits 2004-01-19 16:29:33 CET 
Yellow script on grey background is very difficult to read. The readability will
be improved if a darker flavour of yellow/orange is chosen for reporting
"Property is maybe satisfied" as an answer to a query using under approximation.

The readability of the current yellow varies among different displays. To make
the reproduction of this answer easier please look at the attached system. To
get the yellow answer please turn on "Under Approximation" from "State Space
Representation".
Comment 1 Juhan Ernits 2004-01-19 16:31:43 CET 
Created attachment 15 [details]
Tiny example for getting "property may be satisfied" answer when using under approximation
Comment 2 Gerd Behrmann 2004-01-29 12:50:13 CET 
I have adjusted the background color of the status list (to white) and also made
the yellow color darker. I hope this fixes the problem.
Comment 3 Gerd Behrmann 2004-01-29 12:50:43 CET 
Forgot to close the bug.