Die Menüelemente von Centos 7 / Gnome Applications reagieren nicht

11

Ich habe CentOS 7 mit Gnome installiert. Nach einiger Zeit reagieren keine Elemente im Menü "Anwendungen". * Ich kann die Menüs und Untermenüs öffnen und mit dem Mauszeiger über Elemente fahren. Sie werden korrekt hervorgehoben, reagieren jedoch nicht auf Klicks.

Die Elemente reagieren auch nicht auf die Tastaturnavigation, bei der ich weiterhin die Pfeiltasten verwenden kann, um mich in den Menüs zu bewegen und Elemente hervorzuheben. Wenn Sie jedoch auf enterusw. klicken, wird die hervorgehobene Anwendung / das hervorgehobene Werkzeug nicht gestartet.

Ein Neustart der Maschine hilft, aber das scheint eine schwierige Lösung für das Problem zu sein.

* Mit Ausnahme des Elements 'Aktivitätenübersicht'

J Collins
quelle
Funktioniert das Klicken auf etwas anderes als Anwendungen ? Wie Orte oder Desktop-Symbole oder Anwendungen, die bereits geöffnet sind.
Petry
Ja, der gesamte Desktop ist voll funktionsfähig, das Ortsmenü und alle Elemente können ausgewählt werden.
J Collins
Das gleiche passiert mir (ich bedauere, von Debian zu Centos gewechselt zu sein). Ich habe versucht gnome-shell --replace, das Anwendungsmenü immer noch nicht anklickbar und die folgende Meldung wird auf dem Terminal gedruckt:
Nik O'Lai
JS ERROR: !!! Ausnahme war: Fehler: event.get_time () kann nicht in eine Ganzzahl konvertiert werden. JS ERROR: !!! message = '"event.get_time () kann nicht in eine Ganzzahl konvertiert werden' 'JS ERROR: !!! fileName = '"/usr/share/gnome-shell/extensions/[email protected]/extension.js"' JS ERROR: !!! lineNumber = '77' JS ERROR: !!! stack = '"([object GObject_Union]) @ / usr/share/gnome-shell/extensions/[email protected]/extension.js: 77
Nik O'Lai
1
Es ist JavaScript, nicht Java, aber so funktionieren GNOME 3-Erweiterungen. Klingt nach einem Fehler in der Gnome-Erweiterung "Apps-Menü". Es scheint, dass ein Fehler darüber gemeldet wurde .
jsbillings

Antworten:

7

Dies ist ein bekanntes Problem. Siehe hier:

apps-menu: Ausnahme: event.get_time () kann nicht in eine Ganzzahl # 7 konvertiert werden

Ein Fix besteht darin, Zeile 77 von zu ändern /usr/share/gnome-shell/extensions/[email protected]/extension.js

von:

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

zu:

this._app.open_new_window(-1);
capitalkid
quelle
Eine wichtigere Frage ist dann, warum der Code dies überhaupt gefordert hat. Ist es nur ein Überlauf des Rückgabetyps get_time (), der nach ausreichender Betriebszeit nicht in eine Ganzzahl passt? Wer ist für die Pflege dieses Codes verantwortlich?
J Collins