[Bug 3676] Patch Coming

2007-05-21 Thread Richard Heck
http://bugzilla.lyx.org/show_bug.cgi?id=3676 Just so no-one else works on it...I've got this fixed but have to do some cleanup before sending the patch to the list (as well as making the diff file, since this involved several files). This turns out to be a very bad bug, one I'm amazed we haven't

[Bug 3676] Patch Coming

2007-05-21 Thread Richard Heck
http://bugzilla.lyx.org/show_bug.cgi?id=3676 Just so no-one else works on it...I've got this fixed but have to do some cleanup before sending the patch to the list (as well as making the diff file, since this involved several files). This turns out to be a very bad bug, one I'm amazed we haven't