Release 0.0.63

gebner · gebner · commit a63c60125db5 · 2022-02-02T17:35:20.000+01:00
diff --git a/vscode-lean4/package.json b/vscode-lean4/package.json
@@ -2,7 +2,7 @@
 	"name": "lean4",
 	"displayName": "lean4",
 	"description": "Lean 4 language support for VS Code",
-	"version": "0.0.62",
+	"version": "0.0.63",
 	"publisher": "leanprover",
 	"engines": {
 		"vscode": "^1.57.0"
diff --git a/vscode-lean4/src/extension.ts b/vscode-lean4/src/extension.ts
@@ -95,9 +95,5 @@ export async function activate(context: ExtensionContext): Promise<any> {
 
     pkgService.versionChanged((uri) => installer.handleVersionChanged(uri));
 
-    if (doc && versionInfo.version === '4' && !versionInfo.error) {
-        void clientProvider.ensureClient(doc, versionInfo);
-    }
-
     return  { isLean4Project: true };
 }

Original file line number	Diff line number	Diff line change
`@@ -95,9 +95,5 @@ export async function activate(context: ExtensionContext): Promise<any> {`
`95`	`95`
`96`	`96`	`pkgService.versionChanged((uri) => installer.handleVersionChanged(uri));`
`97`	`97`
`98`		`- if (doc && versionInfo.version === '4' && !versionInfo.error) {`
`99`		`- void clientProvider.ensureClient(doc, versionInfo);`
`100`		`- }`
`101`		`-`
`102`	`98`	`return { isLean4Project: true };`
`103`	`99`	`}`