From e8440e94d0971cebdd298670918b12cbf7d3f028 Mon Sep 17 00:00:00 2001 From: Konstantin Taletskiy Date: Fri, 6 Sep 2024 14:49:05 -0700 Subject: [PATCH] feat: make extension compatible with custom drives --- src/index.ts | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) 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();