GoProof Tool bar tick comment