Los elementos del menú de Centos 7 / Gnome Applications no responden

11

Tengo CentOS 7 instalado con gnome. Después de un tiempo de actividad, no responde ningún elemento en el menú 'Aplicaciones'. * Puedo abrir los menús y submenús y desplazar el cursor sobre los elementos con el puntero del mouse. Se resaltarán correctamente, pero no responden a los clics.

Los elementos tampoco responden a la navegación del teclado donde todavía puedo usar las teclas de flecha para moverme por los menús y resaltar elementos, pero al presionar, enteretc., no se inicia la aplicación / herramienta resaltada.

Reiniciar la máquina ayuda, pero parece una solución dura para el problema.

* Con la excepción del elemento 'Resumen de actividades'

J Collins
fuente
¿Hacer clic en otra cosa que no sea Aplicaciones funciona? Al igual que Lugares o iconos de escritorio o aplicaciones ya abiertas.
petry
Sí, todo el escritorio es completamente funcional, el menú de lugares y todos sus elementos son seleccionables.
J Collins
A mí me pasa lo mismo (lamento haberme cambiado a Centos desde Debian). Lo intenté gnome-shell --replace, el menú de la aplicación todavía no se puede hacer clic y el siguiente mensaje se imprime en el terminal:
Nik O'Lai
ERROR JS: !!! La excepción fue: Error: no se puede convertir event.get_time () a un entero JS ERROR: !!! message = '"no se puede convertir event.get_time () en un entero"' ERROR JS: !!! fileName = '"/usr/share/gnome-shell/extensions/[email protected]/extension.js"' ERROR JS: !!! lineNumber = '77' ERROR JS: !!! stack = '"([objeto GObject_Union]) @ / usr/share/gnome-shell/extensions/[email protected]/extension.js: 77
Nik O'Lai
1
Es JavaScript, no Java, pero sí, así es como funcionan las extensiones de GNOME 3. Suena como un error en la extensión de gnomo 'menú de aplicaciones'. Parece que se ha archivado un error al respecto .
jsbillings

Respuestas:

7

Este es un problema conocido. Mira aquí:

menú de aplicaciones: Excepción: no se puede convertir event.get_time () en un número entero # 7

Una solución es cambiar la línea 77 de /usr/share/gnome-shell/extensions/[email protected]/extension.js

desde:

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

a:

this._app.open_new_window(-1);
capitalkid
fuente
Una pregunta más importante es, ¿por qué el código solicitó esto en primer lugar? ¿Es solo un desbordamiento en el tipo de retorno get_time () que no se ajusta a un entero después de un tiempo de actividad suficiente? ¿Quién es responsable de mantener ese código?
J Collins