feat: make extension compatible with custom drives

jupyterlab · Sep 6, 2024 · e8440e9 · e8440e9
1 parent 8990b48
commit e8440e9
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/src/index.ts b/src/index.ts
@@ -335,7 +335,13 @@ function activateLatexPlugin(
         return Promise.resolve(void 0);
       }
       pending = true;
-      return latexBuildRequest(texContext!.path, synctex, serverSettings)
+
+      /** Get the local file path without any drive prefix potentially added by
+       * other extensions like jupyter-collaboration
+       */
+      const localPath = app.serviceManager.contents.localPath(texContext!.path);
+
+      return latexBuildRequest(localPath, synctex, serverSettings)
         .then(() => {
           // Read the pdf file contents from disk.
           pdfContext ? pdfContext.revert() : findOpenOrRevealPDF();