On Tue, Jun 17, 2008 at 08:52:36AM +0200, Werner LEMBERG wrote: [...] > . Depending on the output device, ` and ' should be mapped to > different characters. However, \` and \' should always map to > ASCII 0x60 and ASCII 0x27 for proper cut and paste support. > > Do you all agree with this?
Yes, except that \' now maps to latin1/utf-8/etc ยด (U+00B4) and not to ' (ASCII 0x27). Cheers, -- Stuart Brady
