diff options
Diffstat (limited to 'public')
| -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; |