# HG changeset patch
# User Thomas Lindae <thomas.lindae@in.tum.de>
# Date 1719852807 -7200
# Node ID 6823aaab3c844b439917ea546b231797a3ad0850
# Parent  1b1d72c45ff4b8f69453353f7eb626df4e5aa5d4
vscode: adjusted setting description;

diff -r 1b1d72c45ff4 -r 6823aaab3c84 src/Tools/VSCode/src/component_vscode_extension.scala
--- 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)
       }