Preferences are still broken because we have to wait until gnome-terminal has been ported to GSettings