Я пишу расширение vsCode, и из всех их API я не могу найти, как редактировать цвета, ни активной вкладки, ни строки заголовка. Все, что я вижу, это добавление элемента строки состояния.
Что у меня есть:
let disposable = vscode.window.onDidChangeActiveTextEditor((e: vscode.TextEditor | undefined) => {
if (!e) return null;
var currentlyOpenTabfilePath = e.document.fileName;
const color = 'green';
changeColorInTitleBar(color) // This is what I need
})
package.json:
"menus": {
"editor/title": [{
"when": "textInputFocus == true",
"command": "extension.sayHello",
"group": "navigation"
}]
}
Должен ли я редактировать workspace.settings из расширения? или есть способ vscode API сделать это?