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?