editor.setOption("extraKeys", { Tab: newTab }); function newTab(cm) { if (cm.somethingSelected()) { cm.indentSelection('add') } else { var spaces = Array(cm.getOption("indentUnit") + 1).join(" ") cm.replaceSelection(spaces) } }
editor.setOption("extraKeys", { Tab: newTab }); function newTab(cm) { if (cm.somethingSelected()) { cm.indentSelection('add') } else { var spaces = Array(cm.getOption("indentUnit") + 1).join(" ") cm.replaceSelection(spaces) } }