This message was deleted.

Hi Alexandre, I’m not super familiar with the vs-code extension but I did see this issue where someone had a similar problem. @mysterious-teacher-68276 may have some more ideas in the morning.

hey, @brash-musician-72826 yes this is indeed a known issue, I’d recommend 👍 the issue that Tim has linked to, so as to get notified when we have a fix live.

Thank you! I will follow up on that issue.