# 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" } """) }