Bullet colors are unreadable for color blind people
ID0001485: This issue was created automatically from Mantis Issue 1485. Further discussion may take place here.
|ID0001485||Frama-C||Graphical User Interface||public||2013-09-26||2015-03-17|
|Product Version||Frama-C Fluorine-20130601||Target Version||-||Fixed in Version||Frama-C Sodium|
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).
Change the shape (e.g. circle for green bullet, triangle for orange bullet, ...);
Use a shading scheme suitable for color blind people (https://trello.com is offering such a scheme for label colors), e.g. "/////" for one color, "\\" for another color, etc.
A combination of above two schemes.