chore: types

danielo515 · Oct 16, 2023 · e71dcf2 · e71dcf2
1 parent 5a3ad00
commit e71dcf2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main.ts b/src/main.ts
@@ -98,7 +98,7 @@ export default class ModalFormPlugin extends Plugin {
 
     async activateView(viewType: ViewType, state?: FormDefinition) {
         const { workspace } = this.app;
-        let leaf = workspace.getLeavesOfType(viewType)[0];
+        let leaf: WorkspaceLeaf | undefined = workspace.getLeavesOfType(viewType)[0];
         if (leaf) {
             console.info('found leaf, no reason to create a new one')
         } else if (Platform.isMobile || this.settings?.editorPosition === "mainView") {