On Mon, Sep 21, 2015 at 12:18:17PM +0200, Patrick Dupre wrote: > How can I change the preference either manually from a text window > or from gnome ?
Run the dconf-editor and look under org → gnome → terminal. -- Matthew Miller <mat...@fedoraproject.org> Fedora Project Leader -- users mailing list users@lists.fedoraproject.org To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines Have a question? Ask away: http://ask.fedoraproject.org
