Anyway: my programmed shortcuts don't apply anymore. E.g. 'ctrl+m' for '\longmapsto'. And yes, it is not a local problem since it works in notepad and other script editors, however, not here as I am writing this.
I observed while checking other editors that it does not work in Chrome. I will check Opera.