На ноутбуке с Debian 8 установлена графическая среда XFCE и очень удобная IDE от JetBrains - PhpStorm. С недавнего времени стал замечать, что иногда перестают работать горячие клавиши типа Ctrl + F, Ctrl + C, Ctrl + / и т.д. Решение оказалось простым - надо зайти в настройки - клавиатура - раскладка - и потом либо сменить туда-сюда "модель клавиатуры", либо "изменить" - "ок". После этого все горячие клавиши работают.