Was mich an den Erweiterungen der GNOME-Shell immer gestört hat war, dass ich keinen direkten Zugriff auf die installierten Erweiterungen hatte. Entweder muss man extra das GNOME-Tweak-Tool laden oder über den Browser die Verwaltungsseite öffnen. Damit ist jetzt durch die GNOME-Shell Extension List Schluss. Die Erweiterung tut das, was der Name schon suggeriert: Sie zeigt eine Liste der installierten Erweiterungen direkt in der GNOME-Shell in einem eigenen Reiter an.






Schreibe einen Kommentar