Fichier de paramètres
La taille des caractère dans le panneau de droite a bien été réduite, mais pas celle du panneau de gauche. En fait, il serait bien que ces paramètres soient bien isolés quelque part et faciles à changer. Est-ce qu'il y a, ou est-ce qu'il pourrait y avoir quelque part un fichier de paramètres ?