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 que l'espace est rempli (adopter peut-être une taille fixe ?)