I have recently updated Linux Mint from 18.1 to 18.2 Mate. Today, I have discovered that the OS has changed my settings for Ctrl+Alt+T combination from executing /usr/bin/st to executing gnome-terminal. I have reverified that the system's set-up remains as it was. That is:
- * In Keyboard shortcuts, I have assigned Ctrl+Alt+T to launch /usr/bin/st. There are no other combinations like that
* In debian-alternatives, I point x-terminal-emulator to /usr/bin/st
* My entries in Compiz - Commands are empty