From 2e30067cfb5610248ac00b758191db6362fb0bf4 Mon Sep 17 00:00:00 2001
From: Jens Nolte <jens@nightmarestudio.de>
Date: Mon, 2 Mar 2020 22:50:32 +0100
Subject: [PATCH] Rename latex-workshop config

---
 home-profiles/vscode/.config/Code/User/settings.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/home-profiles/vscode/.config/Code/User/settings.json b/home-profiles/vscode/.config/Code/User/settings.json
index a65b16c..ba8e6de 100644
--- a/home-profiles/vscode/.config/Code/User/settings.json
+++ b/home-profiles/vscode/.config/Code/User/settings.json
@@ -55,7 +55,7 @@
 
   "search.smartCase": true,
 
-  "latex-workshop.latex.autoBuild.onSave.enabled": false,
+  "latex-workshop.latex.autoBuild.run": "never",
   "latex-workshop.view.pdf.viewer": "browser",
   "latex-workshop.chktex.enabled": true,
 
-- 
GitLab