diff options
author | Cheng-Han, Wu | 2016-02-18 03:38:09 +0800 |
---|---|---|
committer | Cheng-Han, Wu | 2016-02-18 03:38:09 +0800 |
commit | d97e435b3b18d3eef2120d4038445d8c7586734c (patch) | |
tree | 191c0ed1b5604207d12a6a3079ec79b9bf5e5696 | |
parent | b2b1be3dda406312add39997ad8bd9494f20b7f8 (diff) |
Fixed when change widthInput value not parse correctly which cause tab indent problems
Diffstat (limited to '')
-rw-r--r-- | public/js/index.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/public/js/index.js b/public/js/index.js index be22e8dc..a86351f8 100644 --- a/public/js/index.js +++ b/public/js/index.js @@ -389,7 +389,7 @@ function setIndent() { } }); widthInput.on('change', function() { - var val = widthInput.val(); + var val = parseInt(widthInput.val()); if (!val) val = editor.getOption('indentUnit'); if (val < 1) val = 1; else if (val > 10) val = 10; |