Make sure that CodeMirror settings tabSize and indentUnit are always numbers
#1622 Made localStorage settings takes precedence over server side user settings
Merge pull request #1626 from jsbin/fix/1622-indent-number-format

Fix/1622 indent number format