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@lists.fedoraproject.org
To unsubscribe send an email to devel-le...@lists.fedoraproject.org
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@lists.fedoraproject.org
Do not reply to spam on the list, report it: 
https://pagure.io/fedora-infrastructure

Reply via email to