Hallo,
ich habe am Wochenende mein System upgegraded auf 20.10 und kann leider das Dock nicht konfigurieren. Unter "Einstellung –> Darstellung" kann ich kein Farbschema für die Farbe der Fenster vornehmen. Bei den Einstellungen für's Dock kann ich nur automatisches Ausblenden und die Position des Docks auswählen, beide Einstellungen werden aber nicht wirksam und sind beim nächsten Öffnen der Einstellungen wieder weg. Aktuell geht das Dock nur auf, wenn ich auf "Aktivitäten" klicke, nicht mehr wie vorher, wenn ich den Cursor an den linken Bildschirmrand bewege. Ich habe schon in den Foren gestöbert und probiert das Problem mit dem dconf editor zu lösen. Allerdings gibt es bei mir unter "gnome –> shell" keine extensions.
Ich würde mich freuen, wenn jemand Ideen dazu hat.