Les éléments du menu Centos 7 / Gnome Applications ne répondent pas

J'ai CentOS 7 installé avec gnome. Après un certain temps de disponibilité, aucun élément du menu "Applications" ne répond. * Je peux ouvrir les menus et les sous-menus et survoler les éléments avec le pointeur de la souris. Ils seront mis en évidence correctement, mais ils ne répondent pas aux clics.

Les éléments ne répondent pas non plus à la navigation au clavier où je peux toujours utiliser les touches fléchées pour se déplacer dans les menus et mettre en surbrillance les éléments, mais appuyer sur enteretc. ne lance pas l'application / l'outil mis en surbrillance.

Redémarrer la machine aide, mais cela semble une solution lourde au problème.

* À l'exception de l'élément «Aperçu des activités»

C'est un problème connu. Vois ici:

apps-menu: Exception: impossible de convertir event.get_time () en entier # 7

Un correctif consiste à modifier la ligne 77 de /usr/share/gnome-shell/extensions/[email protected]/extension.js

de:

this._app.open_new_window(event.get_time());

à:

this._app.open_new_window(-1);