Author Topic: [RESOLU] Pas d'option pour modifier taille de police de caractères - v10  (Read 2560 times)

0 Members and 1 Guest are viewing this topic.

Offline hopla

  • VIP
  • Newbie
  • *
  • Posts: 3
    • View Profile
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 :



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



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

Cordialement
« Last Edit: August 16, 2020, 10:37:08 by hopla »

Offline Zurga

  • VIP
  • Supernatural Member
  • *
  • Posts: 3 856
    • View Profile
Re : Pas d'option pour modifier taille de police de caractères
« Reply #1 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

Offline hopla

  • VIP
  • Newbie
  • *
  • Posts: 3
    • View Profile
Re : Pas d'option pour modifier taille de police de caractères
« Reply #2 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.

Offline Zurga

  • VIP
  • Supernatural Member
  • *
  • Posts: 3 856
    • View Profile
Re : Pas d'option pour modifier taille de police de caractères
« Reply #3 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

Offline hopla

  • VIP
  • Newbie
  • *
  • Posts: 3
    • View Profile
Re : Pas d'option pour modifier taille de police de caractères
« Reply #4 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.

Offline Zurga

  • VIP
  • Supernatural Member
  • *
  • Posts: 3 856
    • View Profile
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