change function name

This commit is contained in:
aamunger 2023-06-16 11:44:36 -07:00
parent 3804adfd96
commit 797fd9c6e7
No known key found for this signature in database
GPG key ID: F2CA0C6303FC6B74
2 changed files with 2 additions and 2 deletions

View file

@ -670,7 +670,7 @@ export class InteractiveEditor extends EditorPane {
}
override focus() {
this.#notebookWidget.value?.show();
this.#notebookWidget.value?.onShow();
this.#codeEditorWidget.focus();
}

View file

@ -1913,7 +1913,7 @@ export class NotebookEditorWidget extends Disposable implements INotebookEditorD
}
}
show() {
onShow() {
this._isVisible = true;
}