Changer de thème GTK

Posté par  . Modéré par Fabien Penso.
Étiquettes : aucune
0
21
juil.
2000
Serveurs d’affichage
Un petit utilitaire pour changer de thème GTK facilement et sans avoir à utiliser le control-center de Gnome (ou mieux, sans avoir à utiliser Gnome ;) ) NdM. : cette dépêche a été initialement publiée le 21/07/2000 à 11h05, perdue lors d'une migration du site, retrouvée et remise en ligne le 1er mai 2012 (les éventuels commentaires initiaux ont été perdus).

Aller plus loin

Suivre le flux des commentaires

Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.