Skip to content

Commit 1463870

Browse files
authored
feat: make extension compatible with custom drives (#235)
1 parent 6b54029 commit 1463870

File tree

1 file changed

+7
-1
lines changed

1 file changed

+7
-1
lines changed

src/index.ts

+7-1
Original file line numberDiff line numberDiff line change
@@ -335,7 +335,13 @@ function activateLatexPlugin(
335335
return Promise.resolve(void 0);
336336
}
337337
pending = true;
338-
return latexBuildRequest(texContext!.path, synctex, serverSettings)
338+
339+
/** Get the local file path without any drive prefix potentially added by
340+
* other extensions like jupyter-collaboration
341+
*/
342+
const localPath = app.serviceManager.contents.localPath(texContext!.path);
343+
344+
return latexBuildRequest(localPath, synctex, serverSettings)
339345
.then(() => {
340346
// Read the pdf file contents from disk.
341347
pdfContext ? pdfContext.revert() : findOpenOrRevealPDF();

0 commit comments

Comments
 (0)