ASY-Forum dédié à Asymptote

[GM]

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.