Dock -und Fensterecken ändern (bearbeiten) unten Ubuntu 23.04? kim88 20. Mai 2023 um 19:32 Rounded Corners - GNOME Shell-Erweiterungen