Merge pull request #3487 from TomMalbran/tom/fix-issue-3466

RaymondLim · RaymondLim · commit 26e9c90f3324 · 2013-04-23T23:15:45.000-07:00
Fix #3466: Crash happened when make some operation with decimal number in the Tab Size/Spaces field.
diff --git a/src/editor/EditorStatusBar.js b/src/editor/EditorStatusBar.js
@@ -98,12 +98,12 @@ define(function (require, exports, module) {
         
         // restore focus to the editor
         EditorManager.focusEditor();
-
+        
         if (!value || isNaN(value)) {
             return;
         }
         
-        value = Math.max(Math.min(value, 10), 1);
+        value = Math.max(Math.min(Math.floor(value), 10), 1);
         if (Editor.getUseTabChar()) {
             Editor.setTabSize(value);
         } else {
