Skip to content
This repository has been archived by the owner on Nov 5, 2024. It is now read-only.

disable compile on save #158

Answered by nvarner
Idobenhamo asked this question in Q&A
Jun 10, 2023 · 2 comments · 5 replies
Discussion options

You must be logged in to vote

If you're using the VS Code/VS Codium extension, you can change the "Export PDF" setting to "never". On other clients, that corresponds to setting exportPdf to never in the language server configuration.

Replies: 2 comments 5 replies

Comment options

You must be logged in to vote
5 replies
@Idobenhamo
Comment options

@Idobenhamo
Comment options

@nvarner
Comment options

@nvarner
Comment options

@Idobenhamo
Comment options

Answer selected by Idobenhamo
Comment options

You must be logged in to vote
0 replies
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
2 participants