available kernels
This commit is contained in:
parent
29ef70bf45
commit
4a1a4ae88b
|
@ -166,8 +166,7 @@ export class KernelStatus extends Disposable implements IWorkbenchContribution {
|
||||||
|
|
||||||
const activeEditor = getActiveNotebookEditor(this._editorService);
|
const activeEditor = getActiveNotebookEditor(this._editorService);
|
||||||
|
|
||||||
if (activeEditor && activeEditor.multipleKernelsAvailable) {
|
if (activeEditor) {
|
||||||
this.showKernelStatus(activeEditor.activeKernel);
|
|
||||||
this._editorDisposable.add(activeEditor.onDidChangeKernel(() => {
|
this._editorDisposable.add(activeEditor.onDidChangeKernel(() => {
|
||||||
if (activeEditor.multipleKernelsAvailable) {
|
if (activeEditor.multipleKernelsAvailable) {
|
||||||
this.showKernelStatus(activeEditor.activeKernel);
|
this.showKernelStatus(activeEditor.activeKernel);
|
||||||
|
@ -175,6 +174,18 @@ export class KernelStatus extends Disposable implements IWorkbenchContribution {
|
||||||
this.kernelInfoElement.clear();
|
this.kernelInfoElement.clear();
|
||||||
}
|
}
|
||||||
}));
|
}));
|
||||||
|
|
||||||
|
this._editorDisposable.add(activeEditor.onDidChangeAvailableKernels(() => {
|
||||||
|
if (activeEditor.multipleKernelsAvailable) {
|
||||||
|
this.showKernelStatus(activeEditor.activeKernel);
|
||||||
|
} else {
|
||||||
|
this.kernelInfoElement.clear();
|
||||||
|
}
|
||||||
|
}));
|
||||||
|
}
|
||||||
|
|
||||||
|
if (activeEditor && activeEditor.multipleKernelsAvailable) {
|
||||||
|
this.showKernelStatus(activeEditor.activeKernel);
|
||||||
} else {
|
} else {
|
||||||
this.kernelInfoElement.clear();
|
this.kernelInfoElement.clear();
|
||||||
}
|
}
|
||||||
|
|
|
@ -180,6 +180,7 @@ export interface INotebookEditor extends IEditor {
|
||||||
isNotebookEditor: boolean;
|
isNotebookEditor: boolean;
|
||||||
activeKernel: INotebookKernelInfo | INotebookKernelInfo2 | undefined;
|
activeKernel: INotebookKernelInfo | INotebookKernelInfo2 | undefined;
|
||||||
multipleKernelsAvailable: boolean;
|
multipleKernelsAvailable: boolean;
|
||||||
|
readonly onDidChangeAvailableKernels: Event<void>;
|
||||||
readonly onDidChangeKernel: Event<void>;
|
readonly onDidChangeKernel: Event<void>;
|
||||||
|
|
||||||
isDisposed: boolean;
|
isDisposed: boolean;
|
||||||
|
|
|
@ -139,6 +139,8 @@ export class NotebookEditorWidget extends Disposable implements INotebookEditor
|
||||||
private _activeKernel: INotebookKernelInfo | INotebookKernelInfo2 | undefined = undefined;
|
private _activeKernel: INotebookKernelInfo | INotebookKernelInfo2 | undefined = undefined;
|
||||||
private readonly _onDidChangeKernel = this._register(new Emitter<void>());
|
private readonly _onDidChangeKernel = this._register(new Emitter<void>());
|
||||||
readonly onDidChangeKernel: Event<void> = this._onDidChangeKernel.event;
|
readonly onDidChangeKernel: Event<void> = this._onDidChangeKernel.event;
|
||||||
|
private readonly _onDidChangeAvailableKernels = this._register(new Emitter<void>());
|
||||||
|
readonly onDidChangeAvailableKernels: Event<void> = this._onDidChangeAvailableKernels.event;
|
||||||
|
|
||||||
get activeKernel() {
|
get activeKernel() {
|
||||||
return this._activeKernel;
|
return this._activeKernel;
|
||||||
|
@ -154,7 +156,16 @@ export class NotebookEditorWidget extends Disposable implements INotebookEditor
|
||||||
}
|
}
|
||||||
|
|
||||||
private _currentKernelTokenSource: CancellationTokenSource | undefined = undefined;
|
private _currentKernelTokenSource: CancellationTokenSource | undefined = undefined;
|
||||||
multipleKernelsAvailable: boolean = false;
|
private _multipleKernelsAvailable: boolean = false;
|
||||||
|
|
||||||
|
get multipleKernelsAvailable() {
|
||||||
|
return this._multipleKernelsAvailable;
|
||||||
|
}
|
||||||
|
|
||||||
|
set multipleKernelsAvailable(state: boolean) {
|
||||||
|
this._multipleKernelsAvailable = state;
|
||||||
|
this._onDidChangeAvailableKernels.fire();
|
||||||
|
}
|
||||||
|
|
||||||
private readonly _onDidChangeActiveEditor = this._register(new Emitter<this>());
|
private readonly _onDidChangeActiveEditor = this._register(new Emitter<this>());
|
||||||
readonly onDidChangeActiveEditor: Event<this> = this._onDidChangeActiveEditor.event;
|
readonly onDidChangeActiveEditor: Event<this> = this._onDidChangeActiveEditor.event;
|
||||||
|
|
|
@ -63,6 +63,8 @@ export class TestNotebookEditor implements INotebookEditor {
|
||||||
) { }
|
) { }
|
||||||
|
|
||||||
multipleKernelsAvailable: boolean = false;
|
multipleKernelsAvailable: boolean = false;
|
||||||
|
onDidChangeAvailableKernels: Event<void> = new Emitter<void>().event;
|
||||||
|
|
||||||
|
|
||||||
uri?: URI | undefined;
|
uri?: URI | undefined;
|
||||||
textModel?: NotebookTextModel | undefined;
|
textModel?: NotebookTextModel | undefined;
|
||||||
|
|
Loading…
Reference in a new issue