On Sat, 2012-12-01 at 13:05 +0100, Samuel Mehrbrodt wrote: > I've commited a patch for this: > https://gerrit.libreoffice.org/1217/
merged now FWIW. C. _______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffice