le menu de gauche est devenu trop grand

Bonjour,

Le menu de gauche n'a pas changé de taille dans la dernière version. Le plus souvent, c'est le zoom du navigateur qui a été modifié par erreur, par exemple avec Ctrl et la molette de la souris quand le pointeur est au-dessus du menu : toute la page grossit, le menu compris.

Pour revenir à la taille normale, appuyez sur Ctrl et 0 (zéro) en même temps (sur Mac : Cmd et 0).

Si le menu reste trop grand, pouvez-vous joindre une capture d'écran de l'éditeur ? Nous verrons ce qui se passe.