В Pycharm Edu 2018.3 некоторые команды меню и их сочетания клавиш несколько дней назад перестали работать (команды меню недоступны, а сочетания клавиш ничего не делают).
Например при редактировании файла Python Ctrl+/ для комментирования строк ничего не делает, и связанная команда Code | Comment with line comment
недоступен. Но в Python Console оба полностью функциональны!
Ctrl+Shift+F10 для запуска кода тоже ничего не делает, но зеленая треугольная стрелка на панели инструментов работает.
Я перезагружал Pycharm Edu много раз, но безуспешно. Вчера это неожиданно сработало, но после выхода и перезапуска Pycharm перестал работать снова.
Что происходит и как это исправить?
Примечание. В то же время, на том же компьютере и с тем же файлом Python в окне редактора Pycharm Professional 2018.1.5 работает отлично.