De un día para otro (probablemente después de algunas actualizaciones de Ubuntu y un reinicio), las pestañas de mi terminal gnome obtuvieron esta apariencia:
pero lo normal era así (esta es una imagen de internet, que se parece a cómo estaba):
Ya intenté cambiar el tema de gnome Shell y deshabilitar las extensiones, pero no tuvo efecto.
¿Alguien sabe cómo restaurar los colores de las pestañas?
ACTUALIZACIÓN: noté que cuando el terminal está en pantalla completa, muestra los colores de pestaña correctos: