CodeMirror动态修改代码（关键： editor.getDoc().setValue(data); editor.refresh();）...

在使用codemirror时，
其原理是根据form中的textarea标签，自动加载其内容，获得代码行的显示。（具体使用方式参见 codemirror官网使用手册 http://codemirror.net/doc/manual.html）

优点显而易见，
在codemirror中，修改了一部分代码，在form表单提交时，codemirror会自动调用其内部的save()方法，将codemirror中的新值，更新至textarea中，进行表单提交。

然而当我们用js动态加载文件，修改后对文件进行保存时出现了出乎意料的情况。

 

<script>
var editor = null; function loadfile(){
                var fileName = $('#file-selector').val(); $.get("/load-file?file-name=" + fileName, function(data) {
                                          $('#lispcode').empty(); $('#lispcode'