Ich verwende das Standard-Ubuntu-Dock mit der unteren Platzierung und org.gnome.shell.extensions.dash-to-dock extend-height
setze es auf false. Mit Ubuntu 18.10 führt dies zu einem auffälligen visuellen Fehler. Beachten Sie die schwarzen Leerstellen an den Rändern des Docks:
Ich erhalte dies sowohl auf einem aktualisierten System als auch bei einer Neuinstallation in einer VM. Dies funktionierte gut in Ubuntu 18.04. Kommt auch vor, wenn das Thema auf etwas anderes als Yaru eingestellt ist (das Standardthema in Ubuntu 18.10). Neustart hilft nicht. Das Dock sieht in Ordnung aus, wenn die Erweiterungshöhe aktiviert ist.
Irgendwelche Ideen, wie man das behebt?
gnome-shell
ubuntu-dock
Igor
quelle
quelle
Antworten:
Es sieht aus wie ein Fehler im Zusammenhang mit adaptiver / dynamischer Deckkraft: https://github.com/micheleg/dash-to-dock/issues/814
Um dies vorübergehend zu umgehen, können Sie die Deckkraft auf fest einstellen:
Terminal öffnen und ausführen
quelle
Falls Sie die Option "Integriertes Thema" in den Dash-to-Dock-Einstellungen nicht verwenden möchten und die zusätzliche Längenfarbe auf beiden Seiten des Docks entfernen möchten.
Nehmen Sie die Sicherung der Datei
und bearbeiten Sie die Datei
wie unten in Zeile 118
Um den Unterschied zu zeigen, habe ich in den obigen Inhalten die Farben Cyan und Blau verwendet.
quelle
Alles ist behoben, wenn ich unter "Deckkraft anpassen" auf der Registerkarte "Aussehen" auf "Standard" umschalte
quelle