>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> Georg Baum wrote: >>> Hm. So why isn't it the case? >> It stems probably from the pre-inset-unification era. But this is >> certainly nothing to do now. Juergen> Agreed. Thus I'd propose to put my original fix in (plus a Juergen> FIXME comment). Juergen> http://marc.theaimsgroup.com/?l=lyx-devel&m=113137862006884&w=2 Juergen> OK? Let's do that, but add a fixme in the code, and maybe also in the math classes that do not set HIGLY_EDITABLE correctly. JMarc