Dans le
de la version mentionnée, vous pouvez modifiez la police mais vous devez double-cliquer lentement , car c'est très bancal (ou appuyez sur Entrée ) puis vous devez saisir manuellement le nom de la police suivi d'un espace et d'une taille de police, par exemple le mien indique :
Source Sans Pro 10
De plus, il nécessite un redémarrage du programme .