Humm, un panneau de préférence dans lequel on n'offre même pas la possibilité de choisir un thème ou une taille de police de caractères ça fait plutôt maigre pour un desktop;
gnome-tweak-tool n'étant pas officiellement supporté la seule solution offerte est dconf-editor...
[^] # Re: Rha mais oui mais non !
Posté par Jean . En réponse à la dépêche Cinnamon 1.2, le fork de Gnome-shell. Évalué à 2.
Humm, un panneau de préférence dans lequel on n'offre même pas la possibilité de choisir un thème ou une taille de police de caractères ça fait plutôt maigre pour un desktop;
gnome-tweak-tool n'étant pas officiellement supporté la seule solution offerte est dconf-editor...