${lead}
Gnome hatte benutzerdefinierte Themes nie direkt unterstützt, aber über eine Erweiterung möglich gemacht. Ab Gnome 42 ist der Wechsel zu einem nachinstallierten Theme für GTK4-Anwendungen gar nicht mehr vorgesehen.
