Improve plugin initialization

Author: hasufell

package.json

@@ -166,7 +166,7 @@
         "haskell.manageHLS": {
           "scope": "resource",
           "type": "string",
-          "default": null,
+          "default": "PATH",
           "description": "How to manage/find HLS installations.",
           "enum": [
             "GHCup",

src/hlsBinaries.ts

@@ -30,7 +30,7 @@ export { IEnvVars };
 export type ReleaseMetadata = Map<string, Map<string, Map<string, string[]>>>;
 
 type ManageHLS = 'GHCup' | 'PATH';
-let manageHLS = workspace.getConfiguration('haskell').get('manageHLS') as ManageHLS | null;
+let manageHLS = workspace.getConfiguration('haskell').get('manageHLS') as ManageHLS;
 
 // On Windows the executable needs to be stored somewhere with an .exe extension
 const exeExt = process.platform === 'win32' ? '.exe' : '';
@@ -239,8 +239,8 @@ export async function findHaskellLanguageServer(
     fs.mkdirSync(storagePath);
   }
 
-  if (!manageHLS) {
-    // plugin needs initialization
+  // first plugin initialization
+  if (!context.globalState.get("pluginInitialized") as boolean | null) {
     const promptMessage = 'How do you want the extension to manage/discover HLS and the relevant toolchain?';
 
     const decision =
@@ -256,9 +256,10 @@ export async function findHaskellLanguageServer(
       manageHLS = 'PATH';
     }
     workspace.getConfiguration('haskell').update('manageHLS', manageHLS, ConfigurationTarget.Global);
+    context.globalState.update("pluginInitialized", true);
   }
 
-  if (manageHLS === 'PATH' || manageHLS === null) {
+  if (manageHLS === 'PATH') {
     return findHLSinPATH(context, logger, folder);
   } else {
     // we manage HLS, make sure ghcup is installed/available