Questions marquées «gnome-terminal»

GNOME Terminal est un émulateur de terminal pour l'environnement de bureau GNOME. Parmi ses fonctionnalités clés figurent la prise en charge de plusieurs profils, du texte coloré, des onglets, la prise en charge de la souris, la détection d'URL, un certain nombre de personnalisations de l'interface utilisateur et des options de compatibilité.

9
onglet actif indiscernable dans le terminal gnome

J'utilise Gnome 2.30.2 et Gnome Terminal 3.0.1 sur mon Debian Sid et récemment l'onglet actif est devenu presque impossible à distinguer des autres onglets. C'est en fait la même couleur. Changer les thèmes n'a pas beaucoup aidé et utiliser uniquement un thème à contraste élevé fait une différence...