What IDEs, editors, or general tools do people use to do web development? I'm a linux geek, so my tool of choice is gVim. But I'm teaching a course on this right now and don't want to inflict my prejudices on the students, and I'd like a broader perspective. So if you're a web developer, what do you use? NetBeans, Notepad? Something in-between?