Es gibt unter #GNOME viele Erweiterungen und für mich zählt
"Gnome 4x, 5x UI Improvements" einfach dazu.
Endlich gibt es ein Update. Desktop Neustart mit Logout nicht vergessen!
#Linux #Desktop
https://extensions.gnome.org/extension/4158/gnome-40-ui-improvements/