Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 09/06/2017, à 13:31

Vbuntu

onglets gedit

Bonjour,

A tout hasard, est-il possible de personnaliser l'apparence des onglets dans gedit? J'aimerai que l'onglet actif ressorte, je ne compte plus le nombre de fois où je me trompe en modifiant le fichier qui fallait pas parce que je suis pas sur le bon onglet (et que les fichiers sont quasi identiques).

Je vous remercie

Vbuntu

Hors ligne

#2 Le 11/06/2017, à 00:02

Roschan

Re : onglets gedit

changer de thème GTK+

Hors ligne