could you open a bug on bugzilla.gnome.org then? that's an upstream issue and the ubuntu team doesn't have the ressources to work on such changes right now
could you open a bug on bugzilla.gnome.org then? that's an upstream issue and the ubuntu team doesn't have the ressources to work on such changes right now