# HG changeset patch
# User wenzelm
# Date 1647003733 -3600
# Node ID 6369151119ee973b83a5a7bb5fb5edecbf5deec1
# Parent  72112cf37bf7afa5aa3ee5fdb573f18704f290f4
more robust: avoid breakdown of Search dialog;

diff -r 72112cf37bf7 -r 6369151119ee src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Fri Mar 11 13:44:13 2022 +0100
+++ b/src/Tools/VSCode/extension/package.json	Fri Mar 11 14:02:13 2022 +0100
@@ -170,6 +170,14 @@
                 "configuration": "./isabelle-ml-language.json"
             }
         ],
+        "configurationDefaults": {
+          "[isabelle]": {
+            "files.encoding": "utf8isabelle"
+          },
+          "[isabelle-ml]": {
+            "files.encoding": "utf8isabelle"
+          }
+        },
         "grammars": [
             {
                 "language": "isabelle",
diff -r 72112cf37bf7 -r 6369151119ee src/Tools/VSCode/src/vscode_setup.scala
--- a/src/Tools/VSCode/src/vscode_setup.scala	Fri Mar 11 13:44:13 2022 +0100
+++ b/src/Tools/VSCode/src/vscode_setup.scala	Fri Mar 11 14:02:13 2022 +0100
@@ -26,7 +26,6 @@
     "editor.unicodeHighlight.ambiguousCharacters": false,
     "extensions.autoCheckUpdates": false,
     "extensions.autoUpdate": false,
-    "files.encoding": "utf8isabelle",
     "terminal.integrated.fontFamily": "monospace",
     "update.mode": "none"
   }