Skip to content

Commit

Permalink
Add editor settings feature and Ludo's (Marc Alier) spellchecking fun…
Browse files Browse the repository at this point in the history
…ctionality.
  • Loading branch information
martignoni committed Aug 21, 2004
1 parent 186d52b commit 5c0f709
Showing 1 changed file with 15 additions and 0 deletions.
15 changes: 15 additions & 0 deletions lang/fr/moodle.php
Expand Up @@ -40,6 +40,7 @@
$string['adminhelpconfigvariables'] = 'Configurer les paramètres réglant le fonctionnement général du site';
$string['adminhelpcourses'] = 'Définir les cours et les disciplines, et assigner des utilisateurs à ces cours';
$string['adminhelpedituser'] = 'Consulter la liste des comptes des utilisateurs et les modifier';
$string['adminhelpeditorsettings'] = 'Définir la configuration de base de l\'éditeur WYSIWYG';
$string['adminhelpenrolments'] = 'Choisir les façons internes ou externe de contrôler les inscriptions';
$string['adminhelplanguage'] = 'Vérifier et modifier les fichiers de la langue en cours';
$string['adminhelplogs'] = 'Consulter les historiques de toutes les activités de ce site';
Expand Down Expand Up @@ -295,12 +296,26 @@
$string['duplicate'] = 'Dupliquer';
$string['duplicatinga'] = 'Duplication de $a';
$string['duplicatingain'] = 'Duplication de $a->what vers $a->in';
$string['edhelpbgcolor'] = 'Définir la couleur de fond de l\'éditeur.<br />Des valeurs correctes sont par exemple : #ffffff ou white';
$string['edhelpcleanword'] = 'Ce réglage permet l\'activation du filtre spécifique au format Word.';
$string['edhelpenablespelling'] = 'Activation du correcteur orthographique. S\'il est activé, le programme <strong>aspell</strong> doit être installé sur le serveur.';
$string['edhelpfontfamily'] = 'La propriété « font-family » est une liste de noms de polices et/ou de familles de polices génériques. Les noms doivent être séparés par des virgules.';
$string['edhelpfontlist'] = 'Définition des polices disponible dans le menu de l\'éditeur.';
$string['edhelpfontsize'] = 'Le corps par défaut définit la taille de la police.<br />Des valeurs correctes sont par exemple : medium, large, smaller, larger, 10pt, 11px.';
$string['edit'] = 'Modifier $a';
$string['editcoursesettings'] = 'Modifier les paramètres du cours';
$string['editfiles'] = 'Modifier les fichiers';
$string['editgroupprofile'] = 'Modifier le profil du groupe';
$string['editinga'] = 'Modifier $a';
$string['editmyprofile'] = 'Modifier mon profil';
$string['editorbgcolor'] = 'Couleur de fond';
$string['editorcleanonpaste'] = 'Nettoyage du HTML de Word lors du collage';
$string['editorcommonsettings'] = 'Réglages habituels';
$string['editordefaultfont'] = 'Police par défaut';
$string['editorenablespelling'] = 'Activer le correcteur orthographique';
$string['editorfontlist'] = 'Liste des polices';
$string['editorfontsize'] = 'Corps par défaut';
$string['editorsettings'] = 'Configuration de l\'éditeur';
$string['editsummary'] = 'Modifier le résumé';
$string['editthisactivity'] = 'Modifier cette activité';
$string['editthiscategory'] = 'Modifier cette discipline';
Expand Down

0 comments on commit 5c0f709

Please sign in to comment.