Kdevelop Не работают хоткеи

Как именно они не работают?

Там иногда конфликты возникают (хоткеев редактора с собственно кдевелопными), но можно же поменять в настройках.

Или вообще никак не реагирует на хоткеи?

Поменяйте хоткеи.

Вообще не реагирует - пробовал менять, не помогает. Хоткей выставляется, но не срабатывает.

Насчет kate я поспешил - там тоже не работают, в остальных приложениях нормально (FF, kopete, LO, dolphin)