GoProof Tool bar box comment