Update api

jupyterlab · May 24, 2024 · 2711587 · 2711587
1 parent d5fbc40
commit 2711587
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/review/api/coreutils.api.md b/review/api/coreutils.api.md
@@ -84,7 +84,7 @@ export class PluginRegistry<T = any> {
     activatePlugin(id: string): Promise<void>;
     activatePlugins(kind: 'startUp' | 'defer', options?: PluginRegistry.IStartOptions): Promise<void>;
     get application(): T;
-    set application(v: any);
+    set application(v: T);
     deactivatePlugin(id: string): Promise<string[]>;
     get deferredPlugins(): string[];
     deregisterPlugin(id: string, force?: boolean): void;