Supplementary note of 21 August 2013
This is not a bug.
http://forum.high-logic.com/viewtopic.php?p=19925#p19925
The thread in the Support forum makes interesting reading.
William
End of supplementary note of 21 August 2013
The original post follows.
The problem in the following thread now appears to be being caused by a bug.
http://forum.high-logic.com:9080/t/changing-a-colour-later/3925/1
William Overington
19 August 2013