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

Bug 84 - "Property is maybe satisfied" hardly readable due to font colour
Summary: "Property is maybe satisfied" hardly readable due to font colour
Status: CLOSED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.4.3
Hardware: All All
: P2 enhancement
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2004-01-19 16:29 CET by Juhan Ernits
Modified: 2005-02-18 11:04 CET (History)
0 users

See Also:
Architecture:

Attachments
Tiny example for getting "property may be satisfied" answer when using under approximation (574 bytes, application/octet-stream)
2004-01-19 16:31 CET, Juhan Ernits 		Details
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 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.