Os itens de menu do Centos 7 / Gnome Applications não respondem

Eu tenho o CentOS 7 instalado com o gnome. Após algum tempo de atividade, nenhum item no menu 'Aplicativos' responde. * Eu posso abrir os menus e submenus e passar o mouse sobre os itens com o ponteiro do mouse. Eles serão destacados corretamente, mas não respondem a cliques.

Os itens também não respondem à navegação do teclado, onde ainda posso usar as teclas de seta para percorrer os menus e destacar itens, mas pressionar enteretc. não inicia o aplicativo / ferramenta realçada.

Reiniciar a máquina ajuda, mas isso parece uma solução pesada para o problema.

* Com exceção do item 'Visão geral das atividades'

Este é um problema conhecido. Veja aqui:

apps-menu: Exceção: não é possível converter event.get_time () em um número inteiro # 7

Uma correção é alterar a linha 77 de /usr/share/gnome-shell/extensions/[email protected]/extension.js

a partir de:

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

para:

this._app.open_new_window(-1);