From: Peter M. <pdm...@br...> - 2004-11-24 10:03:12
|
On 23/11/2004, at 20:09, tom sgouros wrote: > ... > I'd also be interested to know whether anyone else thought that making > tildes special in an \xlink command is a good idea. I for one have > lots of old text around that uses \~{}. I agree that \~{} should continue to be interpreted as a tilde in a URL, so as not to break old code. But I hope that doesn't prevent a tilde being interpreted verbatim in a URL when it is NOT preceded by a backslash. Anyway, I'll enter it as a feature request. -- Peter |