pipe variable change event through from extention API (#198572)

pipe variable change event through
This commit is contained in:
Aaron Munger
2023-11-17 15:30:35 -08:00
committed by GitHub
parent af10768fd6
commit 6f7e102f08
7 changed files with 24 additions and 1 deletions
@@ -440,4 +440,8 @@ export class MainThreadNotebookKernels implements MainThreadNotebookKernelsShape
emitter.fire(undefined);
}
}
$variablesUpdated(notebookUri: UriComponents): void {
this._notebookKernelService.notifyVariablesChange(URI.revive(notebookUri));
}
}