diff --git a/src/index.ts b/src/index.ts index 748e674..b8b3818 100644 --- 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();