I'm using Linux Minte Debian Edition, with the MATE desktop.
In Preferences > Keyboard Shortcuts, I've set
Desktop/Run a terminal to my favorite key combination (Mod4+Space).
When I use this, I get the MATE-Terminal. I'm used to ROXterm, so I have that one installed and I've set the
x-terminal-emulator accordingly with
But when I use the key combination, I still get MATE-Terminal.
How do I change this?