Von einem Tag auf den anderen (wahrscheinlich nach einigen Ubuntu-Updates und einem Neustart) sahen meine Gnome-Terminal-Tabs folgendermaßen aus:
aber normalerweise sah es so aus (das ist ein Bild aus dem Internet, das so aussieht, als wäre es so):
Ich habe bereits versucht, das Gnome-Shell-Design zu ändern und Erweiterungen zu deaktivieren, aber es hatte keine Wirkung.
Weiß jemand, wie man die Registerkartenfarben wiederherstellt?
UPDATE: Mir ist aufgefallen, dass das Terminal im Vollbildmodus die richtigen Registerkartenfarben anzeigt: