Dans Ubuntu 13.04, j'ai souvent plusieurs onglets ouverts dans gnome-terminal. Le problème est que, même si je peux définir le titre de chaque onglet, il est très difficile de dire quel onglet est actif - la distinction de couleur et de rendu entre l'onglet actif et l'onglet inactif est si subtile qu'il faut étudier la barre d'onglets très soigneusement.
Existe-t-il un moyen de rendre ce contraste plus évident?
gnome-terminal
Stabledog
la source
la source
gedit
.Réponses:
J'utilise Ubuntu 13.10 avec le thème Ambience - j'ai eu le même problème.
Solution: éditez
~/.config/gtk-3.0/gtk.css
(vous devrez peut-être le créer) et ajoutez:la source
Voici ce qui a fonctionné pour moi dans Ubuntu 14.04, j'ai essayé de conserver un aspect global similaire et de rendre les onglets inactifs moins lumineux.
éditer le fichier
~/.config/gtk-3.0/gtk.css
contenir
fermer TOUTES les fenêtres du terminal démarrer et tester
EDIT : Après l'avoir utilisé pendant un petit moment, il est devenu clair qu'une différence prononcée entre l'onglet actif et l'onglet inactif ne suffit pas.
Je pense qu'il est nécessaire de pouvoir distinguer un onglet inactif au premier coup d'œil - sans regarder sur ses côtés.
Voici donc la configuration mise à jour (onglets inactifs plus sombres):
la source
Si vous souhaitez rendre le texte de l'onglet actif plus évident, vous pouvez modifier son étiquette comme ceci,
éditer le fichier
~/.config/gtk-3.0/gtk.css
Testé dans gnome-terminal 3.17.91
Voici ce que j'utilise au travail sur Ubuntu 15.10 avec gnome-terminal 3.16.2. La taille de l'onglet plus petite permet plus de zone d'écran pour le terminal à utiliser et j'ai expérimenté le contraste entre les onglets actifs et inactifs. Je pense que le texte de l'étiquette de l'onglet est plus beau sans le style gras appliqué.
la source
Je n'ai aucun problème à distinguer les onglets actifs et inactifs dans gnome-terminal en utilisant le thème Ubuntu par défaut - Ambiance.
En regardant sur Launchpad, j'ai trouvé qu'il s'agit d'un bug confirmé affectant de nombreuses personnes: Difficile de distinguer quel onglet est sélectionné .
Si cela vous affecte également, vous pouvez résoudre ce problème en changeant votre thème Ubuntu: faites un clic droit sur le bureau, sélectionnez Changer l'arrière - plan du bureau et dans la nouvelle fenêtre ouverte changez votre thème en Contraste élevé :
Ensuite, vous pouvez distinguer sans problème vos onglets actifs et inactifs dans gnome-terminal:
la source