Salut,
Serait-il possible d’ajouter dans les options la possibilité de modifier la police utilisée pour l’affichage des événements. Il faudrait évidemment préciser qu’il faut une police à chasse fixe.
Cela peut paraître pas utile, mais en fait, sur Ubuntu 12.04, la police “Monospace” n’est pas la même la largeur suivant qu’on est en normal, en italique ou en gras. Imaginez donc le résultat pour les nom d’objets, de variables dans l’éditeur d’événement. Le but serait de mettre une autre police (par exemple “Ubuntu monospace”) en tant que police à chasse fixe.