Artur Frenszek-Iwicki wrote: > That being said, what about allowing users to set this preference by > themselves? That would make a lot of sense indeed (though the default would still need to be agreed on). But unfortunately, asking for any kind of user preference to be added to a GNOME application is usually a lost cause. GNOME has a strict "take it or leave it" policy. Kevin Kofler _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure