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.

Reply via email to