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,7 +239,7 @@ export async function findHaskellLanguageServer(
     fs.mkdirSync(storagePath);
   }
 
-  if (!manageHLS) {
+  if (!context.globalState.get("pluginInitialized") as boolean | null) {
     // plugin needs initialization
     const promptMessage = 'How do you want the extension to manage/discover HLS and the relevant toolchain?';
 
@@ -256,6 +256,7 @@ export async function findHaskellLanguageServer(
       manageHLS = 'PATH';
     }
     workspace.getConfiguration('haskell').update('manageHLS', manageHLS, ConfigurationTarget.Global);
+    context.globalState.update("pluginInitialized", true);
   }
 
   if (manageHLS === 'PATH' || manageHLS === null) {