Editor Teks pada video Egghead.io

Adakah yang tahu editor teks apa yang digunakan dalam video egghead.io . Saya hanya berharap untuk versi windows yang digunakan dalam minimal 2 video pertama. Mengatakan mac satu akan menjadi bonus, tapi saya benar-benar ingin yang satu. (Tapi kupikir itu perangkat lunak yang sama untuk keduanya.)

Nama editor teks ditampilkan di bagian atas jendela program di setiap video. Hanya untuk memperjelas, editor teks atau lebih tepatnya, IDE (Lingkungan Pengembangan Terpadu) yang digunakan disebut Jetbrains WebStorm .