Проблема с горячими клавишами Cinnamon

Здравствуйте.

У меня возникла следующая проблема: перестали работать некоторые горячие клавиши системы.
В частности, не могу вызвать терминал стандартной комбинацией "Ctrl+Alt+T".

В настройках системы все установлено правильно, и я там ничего не менял (Параметры системы - Клавиатура - Комбинации клавиш / Быстрый запуск / Запустить терминал / Ctrl + Alt + T).

Проблема появилась после настройки рабочих столов. Не могу сказать, связана она с ними, или просто совпало так.

Сам по себе терминал запускается нормально, с его работой никаких проблем нет.
Операционная система - Linux Mint 17.3 Cinnamon, разрядность - 64.

Буду благодарен за подсказку, в каком направлении копать, чтобы устранить проблему.

Родион Панфилов, я бы пробежался взглядом по всем настройкам горячих клавиш. Может где-то дублируется это сочетание клавиш.
как вариант повесть запуск терминала на другие клавиши и проверит его запуск. У меня дублирующий хоткей для терминала - F12.

А не может твой терминал запускаться на другом рабочем столе? Что именно ты делал с настройкой рабочих столов?