I have now also filed a feature request for this upstream: https://bugzilla.gnome.org/show_bug.cgi?id=762192
I have now also filed a feature request for this upstream: https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 762192