>>>>> "Alfredo" == Alfredo Braunstein <[EMAIL PROTECTED]> writes:
Alfredo> Jean-Marc Lasgouttes wrote: >> Looks like something useful indeed. How confident are you that this >> is (1) safe and (2) better than the old code? I know this has been >> discussed over and over, but please bear with me :) Alfredo> I'm pretty confident it's safe. It fixes the old code, which Alfredo> has a guaranteed bug (tm!). I think it's not so important Alfredo> anyway, because the bug manifest itself mostly on lyx exit. OK, I will apply it. JMarc