bug avec version 2.79 et extension babel
Posté : dim. 28 août 2022, 13:51
Bonjour,
Après m'être débattu pendant un long moment avec du texte qui ne voulait pas se colorer, j'ai cerné le problème avec l'exemple minimal suivant :
J'obtiens un point rouge mais une lettre A en noir : Quelqu'un peut-il confirmer le problème ? Merci.
PS : je mets de ce pas ma signature à jour...
Après m'être débattu pendant un long moment avec du texte qui ne voulait pas se colorer, j'ai cerné le problème avec l'exemple minimal suivant :
Code : Tout sélectionner
import babel;
babel("french");
pair pA=(1,1);
dot("$A$", pA, red);
J'obtiens un point rouge mais une lettre A en noir : Quelqu'un peut-il confirmer le problème ? Merci.
PS : je mets de ce pas ma signature à jour...
