Add terminal choice to Default Applications
Not sure if this is the right place to report this but I have a feature request for the GNOME Settings application.
There currently is a way to configure some default applications "Details > Default Applications" like the web browser, mail client and others in the GNOME Settings application but there is no option to configure the default terminal.
It would be nice to add an option to change the default terminal here.