I am proposing some (more extensive) changes along these lines upstream, as well: https://mail.gnome.org/archives/release-team/2016-January/msg00000.html Michael -- desktop mailing list desktop@xxxxxxxxxxxxxxxxxxxxxxx http://lists.fedoraproject.org/admin/lists/desktop@xxxxxxxxxxxxxxxxxxxxxxx
