>>>>> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:
Georg> Jean-Marc Lasgouttes wrote: >> It would be nice if we could avoid to have two different kind of é. Georg> That would mean that we would need to normalize all text coming Georg> from external sources, and disalllow entering this stuff via Georg> the keyboard. This might be good or not (I don't know), but in Georg> anay case we don't need this for 1.5.0 IMHO. OK, I let you be judge. >> People will see that as a bug. Georg> It is exactly the same as the current situation IMHO where you Georg> can have an é either as InsetLatexAccent or as the real Georg> character in latin1. Sure, and we had several bugs related to that (for example that spelling did not work). I'd like to be cleaner this time. For example: what happens when double clicking on a word with a e'? JMarc