Improvement for 'editorresettodefaults'

This commit is contained in:
martignoni 2004-08-27 06:23:12 +00:00
parent fcb8e1a4eb
commit 975dabb8c5

View file

@ -319,7 +319,7 @@ $string['editordefaultfont'] = 'Police par d
$string['editorenablespelling'] = 'Activer le correcteur orthographique';
$string['editorfontlist'] = 'Liste des polices';
$string['editorfontsize'] = 'Corps par défaut';
$string['editorresettodefaults'] = 'Rétablir les valeurs par défaut';
$string['editorresettodefaults'] = 'Rétablir les valeurs par défaut de l\'éditeur';
$string['editorsettings'] = 'Configuration de l\'éditeur';
$string['editsummary'] = 'Modifier le résumé';
$string['editthisactivity'] = 'Modifier cette activité';