|Summary:||"Property is maybe satisfied" hardly readable due to font colour|
|Product:||UPPAAL||Reporter:||Juhan Ernits <juhan>|
|Component:||GUI||Assignee:||Gerd Behrmann <behrmann>|
|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.