求告知，html5编辑工具，最好有提示的那种最近在看html5，想练手试试，却一直没找到合适的编辑工具，希望有朋友可以告诉下……[解决办法]http://developer.51cto.com/art/201110/295724.htm
