Egghead.io视频上的文本编辑器

有人知道正在使用的文本编辑器 egghead.io视频 。我只是希望在第一个至少2个视频中使用的Windows版本。说mac是一个奖金，但我真的想要一个窗口。 （我认为这两款软件都是相同的。）

文本编辑器名称显示在每个视频的程序窗口顶部。为了澄清，文本编辑器或更准确地说，正在使用的IDE（集成开发环境）被调用 Jetbrains WebStorm 。