summaryrefslogtreecommitdiff
path: root/support/texlab/docs/options.md
diff options
context:
space:
mode:
Diffstat (limited to 'support/texlab/docs/options.md')
-rw-r--r--support/texlab/docs/options.md14
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`