Skip to content

Commit

Permalink
Temp typing fix for now
Browse files Browse the repository at this point in the history
  • Loading branch information
jtpio committed Nov 28, 2022
1 parent c8c1dd1 commit 06c55f0
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion packages/application-extension/src/index.tsx
Expand Up @@ -181,7 +181,8 @@ const docProviderPlugin: JupyterFrontEndPlugin<IDocumentProviderFactory> = {
translator: ITranslator
): IDocumentProviderFactory => {
const collaborative = PageConfig.getOption('collaborative') === 'true';
const factory = (options: IDocumentProviderFactory.IOptions): IDocumentProvider => {
// TODO: fix typing for `IDocumentProviderFactory` below.
const factory = (options: IDocumentProviderFactory<any>): IDocumentProvider => {
if (collaborative) {
const trans = translator.load(I18N_BUNDLE);
console.warn(
Expand Down

0 comments on commit 06c55f0

Please sign in to comment.