diff --git a/www/common/translations/messages.fr.js b/www/common/translations/messages.fr.js index 33f0e34ea..93273c2f3 100644 --- a/www/common/translations/messages.fr.js +++ b/www/common/translations/messages.fr.js @@ -639,6 +639,7 @@ define(function () { out.settings_codeIndentation = "Indentation dans l'éditeur de code (nombre d'espaces)"; out.settings_codeUseTabs = "Utiliser des tabulations au lieu d'espaces"; + out.settings_codeFontSize = "Taille de la police dans l'éditeur de code (px)"; out.settings_padWidth = "Largeur de l'éditeur de texte"; out.settings_padWidthHint = "L'éditeur de documents texte occupe toute la largeur de l'écran disponible par défaut, ce qui peut rendre le texte difficile à lire. Vous pouvez ici réduire la largeur de l'éditeur.";