Merge Tilghman's color patches for the asterisk prompt (bug #1535)