José Matos wrote: > On Sunday 21 January 2007 9:23:59 pm Georg Baum wrote: >> Comments? >> If this is OK in general I'll do some profiling, resolve the speed issues >> and put this in. > > This is OK. > And I would it in the tree before the beta.
I won't have time to finish this before the weekend unfortunately. What do you say about the font change of spaces? This can lead to different output, so it would be a file format change, but I am not sure whether we can convert that in lyx2lyx easily. Georg