@Björn: Turns out that it was actually fixed by Luboš Luňák with http://cgit.freedesktop.org/libreoffice/core/commit/?id=71f2aff7a56cef4e133abad3c2e447c76c5ee1fe. Unfortunately it's not in 4.2 yet, so I submitted a request to gerrit:
https://gerrit.libreoffice.org/9079/
Of course I verified that it fixes the bug for 4.2.
@Björn: Turns out that it was actually fixed by Luboš Luňák with http:// cgit.freedeskto p.org/libreoffi ce/core/ commit/ ?id=71f2aff7a56 cef4e133abad3c2 e447c76c5ee1fe. Unfortunately it's not in 4.2 yet, so I submitted a request to gerrit:
https:/ /gerrit. libreoffice. org/9079/
Of course I verified that it fixes the bug for 4.2.