Confusing bullets for unproven obligations under OSX
ID0001631: This issue was created automatically from Mantis Issue 1631. Further discussion may take place here.
|Plug-in > wp
|Fixed in Version
Under OSX an unproven obligation is depicted by a red bullet. It appears as if that po is actually wrong. Under Linux a cross (x) is shown instead, which I find better.
I think I would prefer a question mark for a proof obligation that could neither be verified nor refuted.
I attach two screen shots: one from osx and one from linux that show the differences.
Additional Information :
might be related to issue 0001485