Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

#1 02-08-2020 07:11:54

golgot200
Membre
Distrib. : Archlinux 2018-02-03
Noyau : Linux 5.7.11-arch1-1
(G)UI : Mate (Strict Minimum)
Inscription : 05-08-2007

Solution - Changer la police de caractères gimp 2.10

Bonjour,

une solution que je met ici.

Dans le dossier themes de Gimp 2.10 ce trouve le fichier gtkrc.
Il suffit de copier les lignes suivantes pour modifier le police pour l'interface générale.




gtk-theme-name = "Default"
style "user-font"
{
   font_name="Top Secret Stamp 18"

}
 



ça peut toujours servir smile

Gimp_210.png

Dernière modification par golgot200 (02-08-2020 07:15:51)

Hors ligne

Pied de page des forums