>>>>> "Juergen" == Juergen Vigna <[EMAIL PROTECTED]> writes:
Juergen> Please have a look at this patch. IMO this is the right fix Juergen> for all the problems we have with the different fonts in an Juergen> ERT inset. This patch does not change the fonts it only Juergen> changes them for drawing so we can copy inside whatever we Juergen> will when we copy it outside again it will hold all it's Juergen> original values. Juergen> With this we can also get rid of the latex_language (but I Juergen> still didn't do that change). Juergen> One missing thing I see for insetERT to make it nearer a Juergen> InsetEditor is that all paragraphs should be left aligned! People, should I apply this patch? It looks good to me, but I could use more eyes and minds. JMarc
