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 cliquez sur « Sélectionner… » en regard de « Police de l’éditeur ».
Voir également : Changement du style de surlignage de la syntaxe