Can u please tell me which editor is used in video tutorials in codeigniter.com

[eluser]Unknown[/eluser]
I am a new user of codeigniter and in learning phase. Any one know which editor is useed in codeigniter introduction and make a blog in 20 minutes given at codeigniter.com. Please specify which editor is best. Thank you.