# HG changeset patch
# User wenzelm
# Date 1647346385 -3600
# Node ID 249e900cc05fd84098c40a474a1a9b367a904843
# Parent  fab9b0bd971554f674101cce4d7747fd9ff90ef2
updated to vscode 1.65.2;

diff -r fab9b0bd9715 -r 249e900cc05f src/Tools/VSCode/etc/settings
--- a/src/Tools/VSCode/etc/settings	Tue Mar 15 13:11:53 2022 +0100
+++ b/src/Tools/VSCode/etc/settings	Tue Mar 15 13:13:05 2022 +0100
@@ -1,5 +1,5 @@
 # -*- shell-script -*- :mode=shellscript:
 
-ISABELLE_VSCODE_VERSION="1.65.0"
+ISABELLE_VSCODE_VERSION="1.65.2"
 ISABELLE_VSCODE_HOME="$ISABELLE_HOME/src/Tools/VSCode"
 ISABELLE_VSCODE_SETTINGS="$ISABELLE_HOME_USER/vscode"
diff -r fab9b0bd9715 -r 249e900cc05f src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Tue Mar 15 13:11:53 2022 +0100
+++ b/src/Tools/VSCode/extension/package.json	Tue Mar 15 13:13:05 2022 +0100
@@ -17,7 +17,7 @@
         "url": "https://isabelle-dev.sketis.net"
     },
     "engines": {
-        "vscode": "1.65.0"
+        "vscode": "1.65.2"
     },
     "categories": [
         "Programming Languages"
@@ -321,7 +321,7 @@
     "devDependencies": {
         "@types/mocha": "^9.1.0",
         "@types/node": "^17.0.19",
-        "@types/vscode": "1.65.0",
+        "@types/vscode": "^1.65.0",
         "mocha": "^9.2.1",
         "typescript": "^4.5.5"
     },
diff -r fab9b0bd9715 -r 249e900cc05f src/Tools/VSCode/extension/yarn.lock
--- a/src/Tools/VSCode/extension/yarn.lock	Tue Mar 15 13:11:53 2022 +0100
+++ b/src/Tools/VSCode/extension/yarn.lock	Tue Mar 15 13:13:05 2022 +0100
@@ -12,7 +12,7 @@
   resolved "https://registry.yarnpkg.com/@types/node/-/node-17.0.21.tgz#864b987c0c68d07b4345845c3e63b75edd143644"
   integrity sha512-DBZCJbhII3r90XbQxI8Y9IjjiiOGlZ0Hr32omXIZvwwZ7p4DMMXGrKXVyPfuoBOri9XNtL0UK69jYIBIsRX3QQ==
 
-"@types/vscode@1.65.0":
+"@types/vscode@^1.65.0":
   version "1.65.0"
   resolved "https://registry.yarnpkg.com/@types/vscode/-/vscode-1.65.0.tgz#042dd8d93c32ac62cb826cd0fa12376069d1f448"
   integrity sha512-wQhExnh2nEzpjDMSKhUvnNmz3ucpd3E+R7wJkOhBNK3No6fG3VUdmVmMOKD0A8NDZDDDiQcLNxe3oGmX5SjJ5w==