José Matos wrote: > > what about > > > > http://bugzilla.lyx.org/show_bug.cgi?id=3840 > > and > > http://bugzilla.lyx.org/show_bug.cgi?id=3839 > > If Jürgen gives an OK to these I give my OK as well.
If it works as advertised, I think it should go in. Edwin, if you post the most recent patch again, I'll text it. Jürgen
