# HG changeset patch
# User wenzelm
# Date 1646048508 -3600
# Node ID 4fc51c9cf8fd5400e2fbc6dd591db0f009aeace7
# Parent  95612f330c93f75ee119b20b3301b7fe02fa8968
disable check for updates: support just one static version;

diff -r 95612f330c93 -r 4fc51c9cf8fd src/Tools/VSCode/src/vscode_setup.scala
--- a/src/Tools/VSCode/src/vscode_setup.scala	Sun Feb 27 20:00:23 2022 +0100
+++ b/src/Tools/VSCode/src/vscode_setup.scala	Mon Feb 28 12:41:48 2022 +0100
@@ -46,7 +46,8 @@
   "editor.fontSize": 18,
   "editor.lineNumbers": "off",
   "editor.renderIndentGuides": false,
-  "editor.rulers": [80, 100]
+  "editor.rulers": [80, 100],
+  "update.mode": "none"
 }
 """)
     }