Je migre de la 11 à la 27... Je pensais que l'éditeur de code permettait désormais de changer la taille de la police par défaut... J'ai cherché et je n'ai rien trouvé. Quand on se fait vieux... Est-ce possible ou pas ? Merci
Bonjour, Ce n'est pas intuitif (pou une fois,) mais c'est possible. Tout se passe dans Accueil/Environnement/Options/Option de l'éditeur de code/Coloration (ça ne s'invente pas et ce n'est pas dans la doc ou alors en caractère type "contrat d'assurance") Il suffit alors de sélectionner une coloration puis de la dupliquer. Bonjour visiteur, Merci de vous Inscrire ou de vous connectez pour voir les liens! La coloration crée devient la coloration active. Il suffit alors de cliquer sur Modifier Bonjour visiteur, Merci de vous Inscrire ou de vous connectez pour voir les liens! A partir de là, dans l'option "Tous", tu as la possibilité de modifier les propriétés de la police Bonjour visiteur, Merci de vous Inscrire ou de vous connectez pour voir les liens!
Ah oui... C'est encore plus simple. Merci Jusqu'à présent, je n'avais jamais eu ce besoin, mais avec l'âge, tout baisse