Translations:Extension:CodeEditor/51/fr


 * la barre de défilement est initialisée trop large; besoin de déclencher un contrôle de redimensionnement une fois l'espace rempli (peut-être taille fixe ?)