pas d'option pour choisir la couleur des annotations dans la GUI (Feature #744)
Description
Il me semble qu'il n'y a pas d'option pour changer la couleur du texte des annotations dans la GUI. On peut choisir la police du texte, la forme et la couleur des des éléments de correction, mais pas la couleur du texte (le $text_color du fichier AMC-annotate.pl) alors que cela semble possible en ligne de commande avec l'option --text-color color.
History
Updated by Alexis Bienvenüe almost 3 years ago
- Tracker changed from Bug to Feature