Debian-facile

Anonyme

Invité

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

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