Fix webpage tab indenting

Fixes #1470
beautifier · Aug 8, 2018 · 7ba6b31 · 7ba6b31
1 parent a03e61e
commit 7ba6b31
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/web/common-function.js b/web/common-function.js
@@ -150,7 +150,7 @@ function beautify() {
   the.language = $('#language option:selected').text();
 
   opts.indent_size = $('#tabsize').val();
-  opts.indent_char = opts.indent_size === 1 ? '\t' : ' ';
+  opts.indent_char = parseInt(opts.indent_size, 10) === 1 ? '\t' : ' ';
   opts.max_preserve_newlines = $('#max-preserve-newlines').val();
   opts.preserve_newlines = opts.max_preserve_newlines !== "-1";
   opts.keep_array_indentation = $('#keep-array-indentation').prop('checked');