mirror/notebook
2
0
Fork 0
mirror of https://github.com/jupyter/notebook.git synced 2025-02-23 12:49:41 +08:00
Code Issues Packages Projects Releases Wiki Activity

Handle kernel changes

Browse Source
This commit is contained in:
Jeremy Tuloup 2020-12-04 17:44:18 +01:00
parent ad8e72dc08
commit 81291ac43a
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
packages/application-extension/src/index.ts
View File

@ -58,7 +58,7 @@ const kernelLogo: JupyterFrontEndPlugin<void> = {
let widget: Widget;
// TODO: this signal might not be needed if we assume there is always only
// one notebook in the main area
shell.currentChanged.connect(async () => {
const onChange = async () => {
if (widget) {
widget.dispose();
widget.parent = null;
@ -69,6 +69,8 @@ const kernelLogo: JupyterFrontEndPlugin<void> = {
}
await current.sessionContext.ready;
current.sessionContext.kernelChanged.disconnect(onChange);
current.sessionContext.kernelChanged.connect(onChange);
const name = current.sessionContext.session?.kernel?.name ?? '';
const spec = serviceManager.kernelspecs?.specs?.kernelspecs[name];
@ -91,7 +93,9 @@ const kernelLogo: JupyterFrontEndPlugin<void> = {
widget = new Widget({ node });
widget.addClass('jp-ClassicKernelLogo');
app.shell.add(widget, 'top', { rank: 10_010 });
});
};
shell.currentChanged.connect(onChange);
}
};