Messages

1

FRANÇAIS / Re : Pas d'option pour modifier taille de police de caractères

« 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.

2

FRANÇAIS / Re : Pas d'option pour modifier taille de police de caractères

« 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.

3

FRANÇAIS / [RESOLU] Pas d'option pour modifier taille de police de caractères - v10

« 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 :



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



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

Cordialement