Merry christmas and a happy new year ! A patch is waiting to be commited [1]. Maybe someone could be so kind and do that or grant me developer privileges so that I could do it by myself ? regards, Christoph Holtermann [1] https://bugzilla.gnome.org/show_bug.cgi?id=637346