A couple of weeks ago, I ran a distribution upgrade from 12.04 to 12.10. Unfortunately, something has seemed to happen with the hotkeys on the system. At first, I thought that maybe this was just a glitch with the global hotkeys. That didn't turn out to be the case, as the custom hotkey I added into the Ubuntu settings works for my editor.
The only default hotkey that seems to have a problem launching is CTRL+ALT+T (Terminal). This wasn't such a big issue to begin with, because I can always just drag the Terminal to my launcher and launch it from there. However, I was on Chrome earlier and tried to do SHIFT+CTRL+DEL to clear the history and it failed. I then tried to do SHIFT+ESC, just to see if the hotkey for the task manager would work.. and it did.
I also thought it could be something with the "CTRL" key, since SHIFT+ESC works, but SHIFT+CTRL+DEL doesn't. That didn't turn out to be the case either, as keys like CTRL+ALT+DEL (logout) work perfectly fine.
Not quite sure how to go about this, and I haven't found any errors in any of /var/log that raises any suspicion.
