>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> http://bugzilla.lyx.org/show_bug.cgi?id=2322 As advertised, Juergen> the last patch I have in my tree for 1.4.1. I like it. Please apply it to both branch and trunk (I did not test it, but I trust you did). JMarc
