Hello,
I am used to some shortcuts not working occasionally (a couple of bugs have been submitted, apparently related to the terminal subsystem).
I restarted the ide, CTRL+F12 is still not accessible here in 13.1.5 on linux mint 17 xfce, can anyone confirm (or infirm) this?
many thanks,
john