Dans Pycharm Edu 2018.3, certaines commandes de menu et leurs raccourcis clavier ne fonctionnaient plus il y a quelques jours (les commandes de menu sont estompées et les raccourcis clavier ne font rien).
Par exemple. Lors de l'édition d'un fichier Python, le Ctrlsigne + /pour les lignes de commentaire ne fait rien et la commande associée Code | Comment with line comment
est grisée. Mais dans la console Python sont tous deux pleinement fonctionnels!
Ctrl+ Shift+ F10pour exécuter le code ne fait rien aussi, mais la flèche triangulaire verte dans la barre d'outils fonctionne.
J'ai redémarré Pycharm Edu plusieurs fois sans succès. Hier, cela a soudainement fonctionné, mais après avoir quitté Pycharm, il a de nouveau cessé de fonctionner.
Que se passe-t-il et comment y remédier?
Remarque: dans le même temps, sur le même ordinateur et avec le même fichier Python dans sa fenêtre d'éditeur, Pycharm Professional 2018.1.5 fonctionne parfaitement.