Hey,
Aus irgendeinem Grund lassen sich bei mir die Einstellungen der einzelnen Erweiterungen weder im Gnome Tweak Tool noch über die Seite (extensions.gnome.org) öffnen.
Das betrifft auch keine spezielle Erweiterung sondern JEDE die Einstellungsmöglichkeiten hat.
Wenn ich auf sie klicke passiert schlicht gar nix und ich hab keinen Schimmer woran das liegen könnte, vor ein paar Tagen hat das noch tadellos funktioniert.
Weiss einer von euch denn eine Lösung für das kleine Problemchen?
EDIT: Problem hat sich durch ein Update von selbst gelöst ☺