Changement des options de police

Pour changer la police utilisée par l’éditeur de Coda, sélectionnez Coda > Préférences…, cliquez sur Éditeur, puis sur Sélectionner… en regard de Police de l’éditeur.

Voir également : Changement du style de surlignage de la syntaxe