It is VS Code. Same as the demo they posted: https://www.youtube.com/watch?v=PJRag0rYQt8.