[Forum] Changement de fonte lors de la saisie

Avatar du membre
GM
Administrateur du site
Administrateur du site
Messages : 1520
Enregistré le : dim. 7 mars 2010, 14:50

[Forum] Changement de fonte lors de la saisie

Message non lu par GM » sam. 26 juin 2010, 13:32

Je viens de procéder à un changement de fonte pour les cadres de saisie ; j'ai adopté les polices suivantes :

Code : Tout sélectionner

"Bitstream Vera Sans Mono","courier new",monospace;


L'intérêt doit être... que l'indentation décidée pour les scripts placés entre des balises code et /code devrait être identique au moment de l'édition puis au moment de l'affichage.
Index des fonctions - Exemple de lien donnant le résultat d'une recherche sur les mots 'arc' et 'triple' : http://asy.marris.fr/indexasy/?filtre=arc triple
Mes configurations (le 14/07/25) :
PC n°1 :Windows 10 - Asymptote(3.05)+MikTeX - Editeurs : Notepad++, TeXworks, Visual Studio Code.
PC n°2 :
Mon serveur : (en cours de mise à jour)
Merci de préciser la votre !

Répondre