Good spotting, fixed now.
thanks
john
I just checked cvs and as far as I can tell the patch made it into lyx-devel,
but not into the 1_3_X-branch. I think that the patch should go in before 1.3.1.
Michael
-- Michael Abshoff - MRB - Universität Dortmund - Telefon 755-3463 (intern)
Where do you want to RTFM today?
