fix an ancient bug with setting tabSize option to a string

This commit is contained in:
tophf 2017-11-27 12:45:04 +03:00
parent d660e6bd72
commit 761f6a5085

View File

@ -336,7 +336,8 @@ function acmeEventListener(event) {
let value = el.type === 'checkbox' ? el.checked : el.value;
switch (option) {
case 'tabSize':
CodeMirror.setOption('indentUnit', Number(value));
value = Number(value);
CodeMirror.setOption('indentUnit', value);
break;
case 'theme': {
const themeLink = $('#cm-theme');