>>>>> "Martin" == Martin Hinsch <[EMAIL PROTECTED]> writes:
Martin> Maybe the effect is intentional but I will just describe the Martin> problem as I understand it. Hello Martin, You patch has not been applied yet, but it is now in bugzilla so that we do not forget it: http://bugzilla.lyx.org/show_bug.cgi?id=2328 JMarc
