John Levon wrote: > How does the patch in bug 353 relate to the recent changes ? > > http://bugzilla.lyx.org/show_bug.cgi?id=353 > > I guess the bug should be closed when Rob's stuff gets applied ?
Yes, that bug is dealt with in my patch. Rob.
John Levon wrote: > How does the patch in bug 353 relate to the recent changes ? > > http://bugzilla.lyx.org/show_bug.cgi?id=353 > > I guess the bug should be closed when Rob's stuff gets applied ?
Yes, that bug is dealt with in my patch. Rob.