Bonjour à tous, Je viens de télécharger la dernière version de Texmaker et je m'aperçois que la taille de police du fichier .log est devenue trop petite. Difficile dans ces conditions de corriger une erreur ! Quelqu'un parmi vous saurait-il, si c'est possible, modifier cette taille de police ? Merci par avance pour vos réponses. Pierre Posée 02 Jul '23, 14:12 pierre2 |