feat: introduce setting to disable Code Lens feature

package.json

@@ -106,6 +106,12 @@
           "default": true,
           "description": "Enable the language server"
         },
+        "noir.enableCodeLens": {
+          "scope": "resource",
+          "type": "boolean",
+          "default": true,
+          "description": "Enable the Code Lens feature of language server. (Compile, Execute, Info, Profile, Run Test links above entry functions and tests)"
+        },
         "noir.trace.server": {
           "scope": "resource",
           "type": "string",

src/client.ts

@@ -132,10 +132,17 @@ export default class Client extends LanguageClient {
       });
     }
 
+    const config = workspace.getConfiguration('noir', uri);
+
+    const enableCodeLens = config.get<boolean>('enableCodeLens');
+
     const clientOptions: LanguageClientOptions = {
       documentSelector,
       workspaceFolder,
       outputChannel,
+      initializationOptions: {
+        enableCodeLens,
+      },
     };
 
     const serverOptions: ServerOptions = {

src/extension.ts

@@ -291,6 +291,11 @@ async function didOpenTextDocument(document: TextDocument): Promise<Disposable>
           await removeWorkspaceClient(folder);
           await addWorkspaceClient(folder);
         }
+
+        if (e.affectsConfiguration('noir.enableCodeLens', folder.uri)) {
+          await removeWorkspaceClient(folder);
+          await addWorkspaceClient(folder);
+        }
       });
     } else {
       // We only want to handle `file:` and `untitled:` schemes because