updated to VSCode 1.65.0;

--- a/src/Tools/VSCode/etc/settings	Mon Mar 07 16:14:14 2022 +0100
+++ b/src/Tools/VSCode/etc/settings	Mon Mar 07 17:18:19 2022 +0100
@@ -1,6 +1,6 @@
 # -*- shell-script -*- :mode=shellscript:
 
-ISABELLE_VSCODE_VERSION="1.64.2"
+ISABELLE_VSCODE_VERSION="1.65.0"
 ISABELLE_VSCODE_HOME="$ISABELLE_HOME/src/Tools/VSCode"
 ISABELLE_VSCODE_SETTINGS="$ISABELLE_HOME_USER/vscode"
 ISABELLE_VSCODE_WORKSPACE="$ISABELLE_VSCODE_SETTINGS/workspace"

--- a/src/Tools/VSCode/extension/package-lock.json	Mon Mar 07 16:14:14 2022 +0100
+++ b/src/Tools/VSCode/extension/package-lock.json	Mon Mar 07 17:18:19 2022 +0100
@@ -15,12 +15,12 @@
             "devDependencies": {
                 "@types/mocha": "^9.1.0",
                 "@types/node": "^17.0.19",
-                "@types/vscode": "1.64.0",
+                "@types/vscode": "1.65.0",
                 "mocha": "^9.2.1",
                 "typescript": "^4.5.5"
             },
             "engines": {
-                "vscode": "1.64.0"
+                "vscode": "1.65.0"
             }
         },
         "node_modules/@types/mocha": {
@@ -36,9 +36,9 @@
             "dev": true
         },
         "node_modules/@types/vscode": {
-            "version": "1.64.0",
-            "resolved": "https://registry.npmjs.org/@types/vscode/-/vscode-1.64.0.tgz",
-            "integrity": "sha512-bSlAWz5WtcSL3cO9tAT/KpEH9rv5OBnm93OIIFwdCshaAiqr2bp1AUyEwW9MWeCvZBHEXc3V0fTYVdVyzDNwHA==",
+            "version": "1.65.0",
+            "resolved": "https://registry.npmjs.org/@types/vscode/-/vscode-1.65.0.tgz",
+            "integrity": "sha512-wQhExnh2nEzpjDMSKhUvnNmz3ucpd3E+R7wJkOhBNK3No6fG3VUdmVmMOKD0A8NDZDDDiQcLNxe3oGmX5SjJ5w==",
             "dev": true
         },
         "node_modules/@ungap/promise-all-settled": {
@@ -1048,9 +1048,9 @@
             "dev": true
         },
         "@types/vscode": {
-            "version": "1.64.0",
-            "resolved": "https://registry.npmjs.org/@types/vscode/-/vscode-1.64.0.tgz",
-            "integrity": "sha512-bSlAWz5WtcSL3cO9tAT/KpEH9rv5OBnm93OIIFwdCshaAiqr2bp1AUyEwW9MWeCvZBHEXc3V0fTYVdVyzDNwHA==",
+            "version": "1.65.0",
+            "resolved": "https://registry.npmjs.org/@types/vscode/-/vscode-1.65.0.tgz",
+            "integrity": "sha512-wQhExnh2nEzpjDMSKhUvnNmz3ucpd3E+R7wJkOhBNK3No6fG3VUdmVmMOKD0A8NDZDDDiQcLNxe3oGmX5SjJ5w==",
             "dev": true
         },
         "@ungap/promise-all-settled": {

--- a/src/Tools/VSCode/extension/package.json	Mon Mar 07 16:14:14 2022 +0100
+++ b/src/Tools/VSCode/extension/package.json	Mon Mar 07 17:18:19 2022 +0100
@@ -17,7 +17,7 @@
         "url": "https://isabelle-dev.sketis.net"
     },
     "engines": {
-        "vscode": "1.64.0"
+        "vscode": "1.65.0"
     },
     "categories": [
         "Programming Languages"
@@ -318,7 +318,7 @@
     "devDependencies": {
         "@types/mocha": "^9.1.0",
         "@types/node": "^17.0.19",
-        "@types/vscode": "1.64.0",
+        "@types/vscode": "1.65.0",
         "mocha": "^9.2.1",
         "typescript": "^4.5.5"
     },