Restore docs link (#60)

Author: seprov

package.json

@@ -10,7 +10,7 @@
     "theme": "dark"
   },
   "license": "MIT",
-  "version": "0.0.37",
+  "version": "0.0.38",
   "repository": {
     "type": "git",
     "url": "https://github.com/imandra-ai/imandrax-vscode"

src/extension.ts

@@ -6,6 +6,7 @@ import * as installer from './installer';
 import * as listeners from './listeners';
 
 import {
+  env,
   ExtensionContext,
   ExtensionMode,
   Uri,
@@ -54,9 +55,12 @@ export async function activate(context: ExtensionContext) {
     );
     await installer.promptToInstall(openUri);
   } else if (languageClientConfig.binPathAvailability.status === "onWindows") {
-    window.showErrorMessage(`ImandraX can't run natively on Windows. Please start a remote VSCode session against WSL.`);
+    const item = { title: "Go to docs" };
+    const itemT = await window.showErrorMessage(`ImandraX can't run natively on Windows. Please start a remote VSCode session against WSL`, item);
+    if (itemT?.title === item.title) {
+      await env.openExternal(await env.asExternalUri(Uri.parse("https://code.visualstudio.com/docs/remote/wsl-tutorial")));
+    }
   }
-
   if (context.extensionMode === ExtensionMode.Test || context.extensionMode === undefined) {
     (global as any).testExtensionContext = context;
   }