Pour la vie de moi, je ne trouve aucune option, paramètre ou raccourci clavier qui désactive ou masque cette barre de défilement ennuyeuse. Je ne trouve tout simplement pas cela utile et c'est distrayant. Vous ne pouvez pas non plus simplement modifier le CSS de l'éditeur comme Atom.