fix IE bug

_server/css/editor.css

@@ -47,6 +47,7 @@ body{
   white-space: pre;
   border: 1px solid #ddd;
   border-radius: 2px;
+  overflow: auto;
 }
 #editTip{
   position: absolute;

_server/vm.js

@@ -56,7 +56,7 @@ var editArea = new Vue({
       if(val=='') return;
       if(that.formatArr()){
         that.error = 0;
-        clearTimeout(that.formatTimer);
+        
         setTimeout(function(){
           that.mapArr = that.formatArr();
           that.drawMap();
@@ -98,7 +98,8 @@ var editArea = new Vue({
     },
     formatArr: function(){
       var formatArrStr = '';
-
+      var that = this;
+      clearTimeout(that.formatTimer);
       if(this.mapArr.split(/\D+/).join(' ').trim().split(' ').length != 169) return false;
       var arr = this.mapArr.replace(/\s+/g, '').split('],[');
       

drawMapGUI.html

@@ -663,7 +663,7 @@ editor.info
 var editor = new editor();
 editor.init();
 editor.fs=fs;
-editor.file=editor_file;
+// editor.file=editor_file;
 </script>
 <script>
   // 文件相关操作