From 1764592f6205f8f7771d8d7d7746ec12a06b900d Mon Sep 17 00:00:00 2001 From: oc Date: Fri, 16 Mar 2018 01:07:21 +0800 Subject: [PATCH] Use Tab to indent --- _server/editor_mode.js | 2 +- _server/editor_multi.js | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/_server/editor_mode.js b/_server/editor_mode.js index 9f4cc161..34f8a208 100644 --- a/_server/editor_mode.js +++ b/_server/editor_mode.js @@ -157,7 +157,7 @@ editor_mode.prototype.objToTd = function(thiseval,comment,field){ } editor_mode.prototype.indent = function(field){ - var num = 4; + var num = '\t'; if(field.indexOf("['main']")===0)return 0; if(field.indexOf("['flyRange']")!==-1)return 0; if(field==="['special']")return 0; diff --git a/_server/editor_multi.js b/_server/editor_multi.js index 4a735402..859d2cac 100644 --- a/_server/editor_multi.js +++ b/_server/editor_multi.js @@ -40,7 +40,7 @@ editor_multi.hide = function(){document.getElementById('left7').style='z-index:- editor_multi.indent = function(field){ if(editor && editor.mode && editor.mode.indent)return editor.mode.indent(field); - return 4; + return '\t'; } editor_multi.import = function(id_){