Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Mon, 28 Feb 2022 13:10:22 +0100
changeset 75167 0a300751fdf5
parent 75166 1f6da5d18340
child 75168 ff60b4acd6dd
child 75169 b61dc9070344
tuned;
src/Tools/VSCode/src/vscode_setup.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/src/vscode_setup.scala	Mon Feb 28 13:02:40 2022 +0100
+++ b/src/Tools/VSCode/src/vscode_setup.scala	Mon Feb 28 13:10:22 2022 +0100
@@ -81,9 +81,9 @@
     "editor.lineNumbers": "off",
     "editor.renderIndentGuides": false,
     "editor.rulers": [80, 100],
-    "update.mode": "none",
     "extensions.autoCheckUpdates": false,
-    "extensions.autoUpdate": false
+    "extensions.autoUpdate": false,
+    "update.mode": "none"
   }
 """
isabelle