Frama-C Bug Tracking System - Frama-C
View Issue Details
0001485Frama-CGraphical User Interfacepublic2013-09-26 10:242015-03-17 22:18
Frama-C Fluorine-20130601 
Frama-C Sodium 
0001485: Bullet colors are unreadable for color blind people
For color blind people (e.g. "Daltoniens" in French), it is very difficult to make the difference between the red, green and orange bullets (at least, I have no testimony for others). Possible improvements: * Change the shape (e.g. circle for green bullet, triangle for orange bullet, ...); * Use a shading scheme suitable for color blind people ( is offering such a scheme for label colors), e.g. "/////" for one color, "\\\\\" for another color, etc. * A combination of above two schemes.
No tags attached.
Issue History
2013-09-26 10:24dmentreNew Issue
2013-09-26 11:10signolesNote Added: 0004091
2013-09-26 11:10signolesStatusnew => feedback
2013-09-26 12:50dmentreNote Added: 0004096
2013-09-26 12:50dmentreNote Edited: 0004096
2013-09-27 09:16signolesStatusfeedback => acknowledged
2014-03-07 12:47ptrojaNote Added: 0004927
2014-03-07 12:50signolesNote Added: 0004928
2014-10-09 13:11guillaume-petiotNote Added: 0005503
2014-10-09 13:12guillaume-petiotStatusacknowledged => resolved
2014-10-09 14:19signolesAssigned To => guillaume-petiot
2014-12-16 22:14signolesResolutionopen => fixed
2015-03-17 22:17signolesFixed in Version => Frama-C Sodium
2015-03-17 22:18signolesStatusresolved => closed

2013-09-26 11:10   
I agree. I already saw this issue when doing slide-based presentations of property statuses in Frama-C. However the information panel of the GUI and the option -report display the validity statuses in a textual way. Aren't they enough?
2013-09-26 12:50   
Well, if one wants to use the GUI this is not very practical: he needs to click on each individual VC to see its status. And having a quick look at the color of VCs to see were are unproved one is a very useful feature IMHO. But I agree this is not so simple to fully solve this issue, especially considering the number of color combinations that exist for partial proofs. Thus the severity set to "feature" wish. However, a first partial fix with a different shape for proved (green tick, used in American check-box) and unknown (orange triangle) statuses would help a lot I think. You would keep colored bullets for the other statuses (except maybe the green-orange status, that would become a green_tick-orange_triangle).
2014-03-07 12:47   
I also wanted to "vote" for solving this issue. I have a partial color blindness and I cannot work with the default colors of frama-c-gui. It would be great if one could customize the colors according to own preferences/disabilities. It seems to be a standard solution in other GUIs, e.g. Eclipse. As a workaround, I recompiled the frama-c-gui with my own color settings.
2014-03-07 12:50   
Another workaround: you can redefine the png files provides in `frama-c -print-share-path`/feedback.
2014-10-09 13:11   
fixed by commit 74f91b3afe14b062e614bf3196febdf7d4122bc0 New option: -gui-theme colorblind (users can define some more icon sets in the new directory theme of Frama-C) (should be in the next release ?)