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.
vscode: adjusted setting description;
authorThomas Lindae <thomas.lindae@in.tum.de>
Mon, 01 Jul 2024 18:53:27 +0200
changeset 81068 6823aaab3c84
parent 81067 1b1d72c45ff4
child 81069 54bda6e0e848
vscode: adjusted setting description;
src/Tools/VSCode/src/component_vscode_extension.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/src/component_vscode_extension.scala	Sun Jun 30 15:23:00 2024 +0200
+++ b/src/Tools/VSCode/src/component_vscode_extension.scala	Mon Jul 01 18:53:27 2024 +0200
@@ -154,7 +154,7 @@
       val (enum_values, enum_descriptions) = opt.typ match {
         case Options.Bool => (
           Some(List("", "true", "false")),
-          Some(List("Don't overwrite System Preference.", "Enable.", "Disable."))
+          Some(List("Use System Preference.", "Enable.", "Disable."))
         )
         case _ => (None, None)
       }
isabelle