我不知道如何访问 Editor.js 中的这些值。我在其他地方看到它们为.getUseTabChar()
, .getTabSize()
, 和.getSpaceUnits()
我的扩展将受益于能够获得这种信息。现在我可以用 _codeMirror 找到这些信息,但从我在 Brackathon 谈话中阅读和看到的内容来看,这被认为已弃用。
var editor = EditorManager.getActiveEditor();
console.log(editor._codeMirror.options.indentUnit);
console.log(editor._codeMirror.options.indentWithTabs);