diff --git a/_server/css/editor.css b/_server/css/editor.css index 4021a028..eb70fd55 100644 --- a/_server/css/editor.css +++ b/_server/css/editor.css @@ -47,6 +47,7 @@ body{ white-space: pre; border: 1px solid #ddd; border-radius: 2px; + overflow: auto; } #editTip{ position: absolute; diff --git a/_server/vm.js b/_server/vm.js index 4f554a68..fcfcc72e 100644 --- a/_server/vm.js +++ b/_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('],['); diff --git a/drawMapGUI.html b/drawMapGUI.html index 6a8f39ec..2a32d6c4 100644 --- a/drawMapGUI.html +++ b/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;