Hi there ! A feature I really miss is the ability to change default terminal application in Gnome default application. There is this option in Cinnamon and I don’t know why it’s not there, I know that a clean and pure interface is the guideline when developing Gnome, so I can understand why desktop icons are removed and dash is hidden by default, but this feature, I mean it doesn’t look that hard to code, and it’s not breaking the gnome philosophy ! It seems like a basic feature and so convenient ! Why is it not there ? Thanks for your answers !
