求告知，html5编辑工具，最好有提示的那种
最近在看html5，想练手试试，却一直没找到合适的编辑工具，希望有朋友可以告诉下……

[解决办法]
http://developer.51cto.com/art/201110/295724.htm