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

Chris Hobbs

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).


  • Chris Hobbs

    Chris Hobbs - 2012-06-14
    • priority: 5 --> 2
  • Nicolas Beauger

    Nicolas Beauger - 2013-04-24
    • Group: 2.5 --> 3.0
  • Thomas Muller

    Thomas Muller - 2013-11-29
    • Group: 3.0 --> unplanned

Log in to post a comment.