在线编辑器 一个简单的在线编辑器,war格式,放入服务器就可运行,并有源代码切换,适合网页在线编辑大部分功能,我用了,非常不错。