Hide code lens functionality behind a setting.

Author: zth

client/src/extension.ts

@@ -240,7 +240,10 @@ export function activate(context: ExtensionContext) {
   // language client, and because of that requires a full restart.
   context.subscriptions.push(
     workspace.onDidChangeConfiguration(({ affectsConfiguration }) => {
-      if (affectsConfiguration("rescript.settings.inlayHints")) {
+      if (
+        affectsConfiguration("rescript.settings.inlayHints") ||
+        affectsConfiguration("rescript.settings.codeLens")
+      ) {
         commands.executeCommand("rescript-vscode.restart_language_server");
       }
     })

package.json

@@ -146,6 +146,11 @@
                     ],
                     "minimum": 0
 				},
+				"rescript.settings.codeLens.enable": {
+					"type": "boolean",
+					"default": false,
+					"description": "Enable (experimental) code lens for function definitions."
+				},
 				"rescript.settings.binaryPath": {
 					"type": ["string", "null"],
 					"default": null,

server/src/server.ts

@@ -31,6 +31,7 @@ interface extensionConfiguration {
     enable: boolean;
     maxLength: number | null;
   };
+  codeLens: boolean;
   binaryPath: string | null;
 }
 let extensionConfiguration: extensionConfiguration = {
@@ -39,6 +40,7 @@ let extensionConfiguration: extensionConfiguration = {
     enable: false,
     maxLength: 25
   },
+  codeLens: false,
   binaryPath: null,
 };
 let pullConfigurationPeriodically: NodeJS.Timeout | null = null;
@@ -230,6 +232,9 @@ let compilerLogsWatcher = chokidar
     if (extensionConfiguration.inlayHints.enable === true) {
       sendInlayHintsRefresh();
     }
+    if (extensionConfiguration.codeLens === true) {
+      sendCodeLensRefresh();
+    }
   });
 let stopWatchingCompilerLog = () => {
   // TODO: cleanup of compilerLogs?
@@ -424,6 +429,15 @@ function codeLens(msg: p.RequestMessage) {
   return response;
 }
 
+function sendCodeLensRefresh() {
+  let request: p.RequestMessage = {
+    jsonrpc: c.jsonrpcVersion,
+    method: p.CodeLensRefreshRequest.method,
+    id: serverSentRequestIdCounter++,
+  };
+  send(request);
+}
+
 function definition(msg: p.RequestMessage) {
   // https://microsoft.github.io/language-server-protocol/specifications/specification-current/#textDocument_definition
   let params = msg.params as p.DefinitionParams;
@@ -1014,9 +1028,11 @@ function onMessage(msg: p.Message) {
             full: true,
           },
           inlayHintProvider: extensionConfiguration.inlayHints.enable,
-          codeLensProvider: {
-            workDoneProgress: false
-          },
+          codeLensProvider: extensionConfiguration.codeLens
+            ? {
+                workDoneProgress: false,
+              }
+            : undefined,
         },
       };
       let response: p.ResponseMessage = {