*** Bug 160956 has been marked as a duplicate of this bug. ***
*** Bug 160957 has been marked as a duplicate of this bug. ***
*** Bug 160954 has been marked as a duplicate of this bug. ***
Fix coming in soon-to-be released lyx-1.3.6
fixed in lyx-1.3.5-4 and newer. *** This bug has been marked as a duplicate of 164770 ***