Skip to content

Commit 0bb8e11

Browse files
fix: Make JupyterLab.IInfo optional
Address PR comments Co-authored-by: Michał Krassowski <[email protected]>
1 parent 43c940f commit 0bb8e11

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

packages/labextension/src/index.ts

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -76,7 +76,7 @@ const resourceStatusPlugin: JupyterFrontEndPlugin<void> = {
7676
app: JupyterFrontEnd,
7777
translator: ITranslator,
7878
statusBar: IStatusBar | null,
79-
info: JupyterLab.IInfo
79+
info: JupyterLab.IInfo | null
8080
) => {
8181
const refreshRate = DEFAULT_REFRESH_RATE;
8282

0 commit comments

Comments
 (0)