Со временем (вероятно, после некоторых обновлений Ubuntu и перезапуска) вкладки моего терминала GNOME приобрели следующий вид:
но норма была такой (это изображение из интернета, оно похоже на то, как это было):
Я уже пробовал изменить тему оболочки gnome и отключить расширения, но это не дало эффекта.
Кто-нибудь знает, как восстановить цвета вкладок?
ОБНОВЛЕНИЕ: я заметил, что когда терминал находится в полноэкранном режиме, он отображает правильные цвета вкладок: