Looking for a specific text editor

In the video with Mike Dane on virtual environments (https://www.codecademy.com/courses/learn-python-3/videos/learn-python3-pipenv) he uses a text editor (12:00) and I was wondering what it was called?

I think it’s VS code.

It appears the text editor came along with the virtual environment package.

But if you’re in need of a text editor for use, there are many good text editors that can be of good help to you.