user224 , 4 hours ago You could get around that bug by choosing a different color and then pressing undo. After that it reverted to the correct color.
You could get around that bug by choosing a different color and then pressing undo. After that it reverted to the correct color.