Masquage du dossier <env>

bonsoir !
je n'arrive pas à masquer le dossier <env> tout en haut qui a été esclu

Bonsoir,

Il y avait eu un ticket pour ça l'année dernière sur le site officiel : https://youtrack.jetbrains.com/issue/PY-70534/It-is-not-possible-to-exclude-.venv-from-search-results

Mais apparemment c'est sans suite. ça pourrait être intéressant d'en ouvrir un nouveau.
Tu peux toujours l'exclure pour que le dossier soit ignoré pour certaines opérations. Ce que tu as déjà fait je crois :)