#625 Icons are Identical Colour for 7% of Male Users

unplanned
open
2
2013-11-29
2012-06-14
Chris Hobbs
No

A colleague, looking over my shoulder has pointed out to me that the icons used to indicate whether proof obligations have been fulfilled (tick or question mark) have different background colours (he says that they are green (tick) or a muddy brown (question mark).

For me and 5 to 7% of the male users of the Rodin tool (see http://www.colblindor.com/2007/04/17/deuteranopia-red-green-color-blindness/\), these colours are indistinguishable. This means that when I have a long list of proof obligations and one of them is unfulfilled I can spend minutes scrolling up and down the list looking for the question mark.

It would be nice to use icons with different background colours (e.g., green and blue).

Discussion

  • Chris Hobbs
    Chris Hobbs
    2012-06-14

    • priority: 5 --> 2
     
    • Group: 2.5 --> 3.0
     
  • Thomas Muller
    Thomas Muller
    2013-11-29

    • Group: 3.0 --> unplanned