# HG changeset patch
# User wenzelm
# Date 1647001906 -3600
# Node ID 481665cc17e6015859e92e147c2f533641941526
# Parent  5cae3e486cec654b822b692a2cc1522ab9352150
always use Isabelle encoding, as in Isabelle/jEdit;

diff -r 5cae3e486cec -r 481665cc17e6 src/Tools/VSCode/src/vscode_setup.scala
--- a/src/Tools/VSCode/src/vscode_setup.scala	Fri Mar 11 13:17:14 2022 +0100
+++ b/src/Tools/VSCode/src/vscode_setup.scala	Fri Mar 11 13:31:46 2022 +0100
@@ -26,6 +26,7 @@
     "editor.unicodeHighlight.ambiguousCharacters": false,
     "extensions.autoCheckUpdates": false,
     "extensions.autoUpdate": false,
+    "files.encoding": "utf8isabelle",
     "terminal.integrated.fontFamily": "monospace",
     "update.mode": "none"
   }