Problème : le champ de texte est beaucoup plus petit que l’interface utilisateur. Lorsque le zoom du navigateur est utilisé (Cmd+Shift + -), l’interface utilisateur devient beaucoup trop grande.
Solution : boutons de zoom pour augmenter ou réduire la taille de l’éditeur de texte.
Pourrait éventuellement faire partie d’une barre d’outils de l’éditeur de texte.
Je pourrais soumettre cela comme un problème Github/Gitlab. Veuillez me conseiller sur la manière de contribuer.