Note de ce sujet :
  • Moyenne : 0 (0 vote(s))
  • 1
  • 2
  • 3
  • 4
  • 5
Taille des polices et autres modifications de style
#2
Il ne faut pas modifier le ficher situé dans /usr/share/darktable car celui-ci est mis à jour lors de chaque nouvelle version de DT. Si tu veux faire des modifications de style d'interface, tu dois copier tout ou partie de ce fichier dans ton dossier de config de DT (~/.config/darktable par defaut), et modifier celui-ci. Ainsi, ta version ne sera jamais écrasée lors d'une mise à jour et toutes les entrées qu'elle contient sont prioritaires par rapport à celle de /usr/share/darktable.
Mes photos : jpverrue.fr
Répondre


Messages dans ce sujet
RE: Taille des polices et autres modifications de style - par jpverrue - 16-10-18, 10:13

Atteindre :


Utilisateur(s) parcourant ce sujet : 2 visiteur(s)