🐛 fix(vscode): profiles.json 在外部被改动后 Profile tab 实时刷新
This commit is contained in:
1 parent
0332d1da72
commit
7888d15a38
2 files changed
+24
-1
No files matched your search
@@ -317,6 +317,10 @@ export class KanbanWebviewPanel {
|
||||
// toolbar button whenever the working tree is clean. Fire-and-forget —
|
||||
// `setupGitWatcher` handles its own activation + retry logic.
|
||||
toolbar.setupGitWatcher(this)
|
||||
|
||||
const profilesWatcher = settings.watchProfilesFile(this)
|
||||
if (profilesWatcher)
|
||||
this.disposables.push(profilesWatcher)
|
||||
}
|
||||
|
||||
private syncFocusedTerminalTab(): void {
|
||||
|
||||
Reference in new issue
Block a user