Hi Jürgen, I am just wondering if this might be fixed during the next release. Thanks.
Jürgen Spitzmüller wrote: This is bug 4037: http://bugzilla.lyx.org/show_bug.cgi?id=4037 It is a very annoying bug, and I hope we can fix this for the next release. Jürgen
