Note de ce sujet :
  • Moyenne : 0 (0 vote(s))
  • 1
  • 2
  • 3
  • 4
  • 5
Taille des polices et autres modifications de style
#4
(16-10-18, 10:13)jpverrue a écrit : 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.

Plutôt que de recopier le fichier, je conseille plutôt d'avoir un ~/.config/darktable/darktable.css qui démarre par :


Code :
@import '/usr/share/darktable/darktable.css';


Comme ça les modifs faites par le gestionnaire de package pendant la mise à jour sont prises en compte automatiquement.
Répondre


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

Atteindre :


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