From d97e435b3b18d3eef2120d4038445d8c7586734c Mon Sep 17 00:00:00 2001
From: "Cheng-Han, Wu" <jackymaxj@gmail.com>
Date: Thu, 18 Feb 2016 03:38:09 +0800
Subject: [PATCH] Fixed when change widthInput value not parse correctly which
 cause tab indent problems

---
 public/js/index.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/public/js/index.js b/public/js/index.js
index be22e8dc8..a86351f80 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;