Ich kann dem Benutzer das gnome-shell-extensions-user-theme nicht verwenden, da das Tweak-Tool keine Schaltfläche zum Aktivieren von Erweiterungen enthält! Ich habe das Gnome-Tweak-Tool komplett deinstalliert und neu installiert, kein Unterschied. Irgendwelche Vorschläge? Bruce.