Edit : Je me suis rendu compte que ce n'était pas spécifique au terminal et j'ai trouvé la réponse.
Cette barre d'outils/barre de défilement est apparue de façon permanente tout à coup pour une raison quelconque, et j'aimerais la masquer, mais je ne trouve pas d'option pour le faire ?
