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