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).
Log in to post a comment.