>>>>> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:
Georg> Jean-Marc Lasgouttes wrote: >> Shall we use this or convert all LabelStrings to double backslash >> (as is normal inside double quotes)? Georg> I'd prefer the patch, since it avoids a layout file syntax Georg> change. It is easier for me too. I'll do that. JMarc