Juergen Spitzmueller <[EMAIL PROTECTED]> writes: > I see. That patch has not been committed to cvs, no? Could you please add it > to the above bugzilla report, so that it will not be lost?
Done. > Yes, I can reproduce that. You should open a separate report for it on > bugzilla and add your patch. This is now bug 2200. http://bugzilla.lyx.org/show_bug.cgi?id=2200 -- Enrico
