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

Fix #3466: Crash happened when make some operation with decimal number in the Tab Size/Spaces field.
adobe · Apr 24, 2013 · 26e9c90 · 26e9c90
2 parents a111e01 + dd2f75f
commit 26e9c90
Showing 1 changed file with 2 additions and 2 deletions.
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 {