Ancestris - Forum

Ancestris Support => FRANÇAIS => Topic started by: hopla on August 16, 2020, 09:19:00

Title: [RESOLU] Pas d'option pour modifier taille de police de caractères - v10
Post by: hopla on August 16, 2020, 09:19:00
Bonjour,

Je viens d'installer Ancestris sur une distrib Linux Manjoro Gnome à partir du paquet AUR https://aur.archlinux.org/packages/ancestris

Il ne m'est pas possible de modifier la taille de police de l'interface car l'option n'existe pas sur la fenêtre des préférences, contrairement à ce qui est visible sur la documentation d'Ancestris

Voici la copie d'écran issue de la documentation d'Ancestris :

(https://docs.ancestris.org/uploads/images/gallery/2020-05/Pr%C3%A9f%C3%A9rences_Apparence.png)

Voici la copie d'écran sur ma version d'Ancestris :

(https://hubrecht.info/ancestris.png)

Quelqu'un aurait une idée de ce qui peut causer ce dysfonctionnement ?

Cordialement
Title: Re : Pas d'option pour modifier taille de police de caractères
Post by: Zurga on August 16, 2020, 09:53:59
Merci d'essayer Ancestris.

Ce n'est pas un dysfonctionnement.
Vous avez installé la version 10 d'Ancestris (Dernière version officielle)
Et le paramètre de taille de caractère est une fonctionnalité de la version 11 (version quotidienne).

Comme nous ne sommes pas très nombreux, nous avons choisi de faire la documentation directement pour la version 11.

Zurga
Title: Re : Pas d'option pour modifier taille de police de caractères
Post by: hopla on August 16, 2020, 10:08:58
Merci pour cette précision.

Y-a-t-il un moyen de modifier la taille par défaut de la police sur la version 10 ? J'ai regardé les fichiers de conf dans /usr/share/java/ancestris mais je n'ai pas vu d'option qui puisse correspondre.
Title: Re : Pas d'option pour modifier taille de police de caractères
Post by: Zurga on August 16, 2020, 10:15:09
Oui, il est possible de changer un peu les choses :
Dans le fichier de configuration ancestris.conf qui se situe dans ancestris/etc, vous pouvez ajouter l'option "--fontsize" avec la taille du caractère pour changer celle-ci à la ligne "default_options"
Par exemple --fontsize 15 mettra les caractères à 15 par défaut.
La valeur initiale est 12.

Si vous avez déjà changé des paramètres dans les préférences, il est possible que vous ayez un fichier ancestris.conf dans les répertoires de travail d'ancestris.
Vous le trouverez dans ".ancestris/10/etc"

Zurga
Title: Re : Pas d'option pour modifier taille de police de caractères
Post by: hopla on August 16, 2020, 10:31:55
Ah super ça fonctionne j'ai ajouté l'option dans ~/.ancestris/10/etc/ancestris.conf
ça va me reposer les yeux  :)

Merci pour l'astuce.
Title: Re : [RESOLU] Pas d'option pour modifier taille de police de caractères - v10
Post by: Zurga on August 16, 2020, 10:40:21
Vous verrez que tout n'est pas parfait et que certains textes restent en 12.
C'est pour cela qu'il faut rester proche de 12 pour ne pas avoir trop de soucis d'affichage.
15 ou 16 est un bon compromis.

Zurga