Hi Colomban, On Tue, Jul 12, 2022 at 12:47:38PM +0200, Colomban Wendling <cwendling@xxxxxxxx> wrote: > So with your suggestion in mind, I put together a patch > (https://gerrit.libreoffice.org/c/core/+/136997) Glad to see this is merged by now. Regards, Miklos