>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> http://bugzilla.lyx.org/show_bug.cgi?id=1523 This bug is Juergen> already fixed (properly) in 1.4. I know that the attached Juergen> patch for 1.3.x is an ugly hack, but it works. Fixing this bug would be a very good idea indeed. What the reason why you choose this way instead of replicating 1.4.0 code? Do you think it is safer? JMarc