1

Editor.js にあるこれらの値にアクセスする方法がわかりません。私はそれらを他の場所で.getUseTabChar()、.getTabSize()、および.getSpaceUnits()

私の拡張機能は、そのような情報を取得できるというメリットがあります。現在、この情報は _codeMirror で見つけることができますが、Brackathon の講演で読んだり見たりしたことから、これは非推奨と見なされます。

var editor = EditorManager.getActiveEditor();
console.log(editor._codeMirror.options.indentUnit);
console.log(editor._codeMirror.options.indentWithTabs);
4

1 に答える 1

2

Brackets Sprint 36 (これを書いている時点で数日以内に予定されています) には、新しい設定マネージャーが含まれています。ウィキにこれに関するセクションがあります。次のようなことができるはずです。

var PreferencesManager = brackets.getModule("preferences/PreferencesManager");

// Whenever you need the current value
PreferencesManager.get("spaceUnits");

// If you need to know when the value might have changed:
PreferencesManager.getPreference("spaceUnits").on("change", function () {
    var newValue = PreferencesManager.get("spaceUnits");
});
于 2014-01-26T19:20:39.740 に答える