Re: XmTextSetHighlight changes

[C Hennessy]

Hi Seth,
        I have have a look at your patch, and looked again at the code for 
XmTextSetHighlight, and I think that I have found a much smaller, fix
for the
problem. Can you check it for the problem you reported againt ddd ?

Thanks,
CP