01-05-20, 10:56
(Modification du message : 01-05-20, 11:04 par nicoauffray.)
Pourquoi modifier le fichier darktablerc ? Dans 98% voire 99% des cas, ça n'est pas utile. Je rappelle que l'interface depuis la 3.0 est dépendante de la taille de la police utilisée par le système. Donc il suffit soit de l'ajuster (la taille de la police), soit d'ajuster le CSS (en créant un CSS personnalisé).
Avec cette nouvelle interface, je pense que le fichier darktablerc doit être le dernier truc à modifier. C'est une solution d'avant la 3.0, une habitude à éviter depuis la 3.0.
J'ajouterais une chose, l'interface de la 3.0 est adaptée aux écrans lodpi comme hidpi, donc ça renforce le fait que le paramètre du fichier darktablerc n'a pas besoin d'être modifié (ou en tout cas très rarement). C'est la première fois que je vois parler de la modifier cette nouvelle interface sur une résolution supérieure à une résolution full HD. Aurélien est à l'origine de cette interface et utilise un écran 4K (donc résolution aussi bien supérieure à une full HD) et il l'a fait pour éviter de modifier le fichier darktablerc.
Pour ma part, je travaille sur le CSS comme vous le savez et je passe aussi bien de mon écran full HD à mon écran rétina de mon ordi portable.
Donc, si c'est le texte qui est trop petit, augmentation de la taille de police sur l'OS utilisé ou (pour éviter que ça impacte les autres applis), il est préférable de créer un CSS personnalisé dans son dossier .config/darktable/themes (dossier themes à créer si besoin).
Ensuite, ajouter la ligne @import url... (voir un des fichiers CSS par défaut autre que darktable.css pour recopier la ligne. Adapter le chemin pour pointer sur le fichier darktable.css par défaut. Ensuite la ligne à modifier pour modifier seulement le texte, c'est la ligne 161 du fichier darktable.css. Là, il suffit dans le css personnalisé d'ajouter les lignes suivantes :
Et modifier le paramètre de font-size. 1em=100% de la taille de la police de l'OS. Donc 1.1em, augmente de 10% la taille.
L'avantage de ça, c'est que ça modifie que le texte relativement à la taille de la police du système, contrairement au screen_dpi dans darktablerc qui impacte toute l'interface et indépendamment de la taille de la police.
Quant à avoir ça dans les préférences, oui ça a déjà été discuté. Reste à trouver le développeur qui souhaitera le faire et prendra le temps pour...
Une petite précision : en version master, la possibilité d'ajouter du CSS modifié (sans avoir à créer le fichier CSS personnalisé, ajouter la ligne @import soit-même à été ajouté. Ça simplifiera la personnalisation. Ce sera pour la version 3.2 (avec peut-être d'ici là la police de caractère modifiable par un simple menu ajoutée)...
Avec cette nouvelle interface, je pense que le fichier darktablerc doit être le dernier truc à modifier. C'est une solution d'avant la 3.0, une habitude à éviter depuis la 3.0.
J'ajouterais une chose, l'interface de la 3.0 est adaptée aux écrans lodpi comme hidpi, donc ça renforce le fait que le paramètre du fichier darktablerc n'a pas besoin d'être modifié (ou en tout cas très rarement). C'est la première fois que je vois parler de la modifier cette nouvelle interface sur une résolution supérieure à une résolution full HD. Aurélien est à l'origine de cette interface et utilise un écran 4K (donc résolution aussi bien supérieure à une full HD) et il l'a fait pour éviter de modifier le fichier darktablerc.
Pour ma part, je travaille sur le CSS comme vous le savez et je passe aussi bien de mon écran full HD à mon écran rétina de mon ordi portable.
Donc, si c'est le texte qui est trop petit, augmentation de la taille de police sur l'OS utilisé ou (pour éviter que ça impacte les autres applis), il est préférable de créer un CSS personnalisé dans son dossier .config/darktable/themes (dossier themes à créer si besoin).
Ensuite, ajouter la ligne @import url... (voir un des fichiers CSS par défaut autre que darktable.css pour recopier la ligne. Adapter le chemin pour pointer sur le fichier darktable.css par défaut. Ensuite la ligne à modifier pour modifier seulement le texte, c'est la ligne 161 du fichier darktable.css. Là, il suffit dans le css personnalisé d'ajouter les lignes suivantes :
Code :
*
{
font-size: 1em;
}Et modifier le paramètre de font-size. 1em=100% de la taille de la police de l'OS. Donc 1.1em, augmente de 10% la taille.
L'avantage de ça, c'est que ça modifie que le texte relativement à la taille de la police du système, contrairement au screen_dpi dans darktablerc qui impacte toute l'interface et indépendamment de la taille de la police.
Quant à avoir ça dans les préférences, oui ça a déjà été discuté. Reste à trouver le développeur qui souhaitera le faire et prendra le temps pour...
Une petite précision : en version master, la possibilité d'ajouter du CSS modifié (sans avoir à créer le fichier CSS personnalisé, ajouter la ligne @import soit-même à été ajouté. Ça simplifiera la personnalisation. Ce sera pour la version 3.2 (avec peut-être d'ici là la police de caractère modifiable par un simple menu ajoutée)...