What's a good free open source HTML5 editor?

I'm looking for an HTML5 editor to develop rich internet applications and so forth. Take Dreamweaver out of the list, because that cost money. Also I tried Aloha Editor, but I don't know how to install that. I wan't a good program, one that shows your progress in a separate GUI. Any ideas for a free... show more I'm looking for an HTML5 editor to develop rich internet applications and so forth. Take Dreamweaver out of the list, because that cost money. Also I tried Aloha Editor, but I don't know how to install that.
I wan't a good program, one that shows your progress in a separate GUI.
Any ideas for a free open source HTML5 editor?

P.S. Please don't recommend me notepad. :)
7 answers 7