An option to set your default terminal picker is coming to GNOME Settings, as the image above, teased by developer Ignacy Kuchciński last week, shows. It