diff options
Diffstat (limited to 'support/texlab/docs/options.md')
-rw-r--r-- | support/texlab/docs/options.md | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/support/texlab/docs/options.md b/support/texlab/docs/options.md index 3cc2edfd8a..e1a69c4996 100644 --- a/support/texlab/docs/options.md +++ b/support/texlab/docs/options.md @@ -46,9 +46,19 @@ The placeholder `%f` will be replaced by the server. --- -## texlab.build.isContinuous +## texlab.build.forwardSearchAfter -Set this property to true if the build arguments imply a continous build (like `latexmk -pvc`). +Set this property to `true` if you want to execute a forward search after a build. + +**Type:** `boolean` + +**Default value:** `false` + +--- + +## texlab.build.onSave + +Set this property to `true` if you want to compile the project after saving a file. **Type:** `boolean` |