Add workspace/codeLens/refresh notification (#987)

* Add `workspace/codeLens/refresh` notification * Format
ionide · Aug 16, 2022 · 41e751d · 41e751d
1 parent ccf64be
commit 41e751d
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/FsAutoComplete/FsAutoComplete.Lsp.fs b/src/FsAutoComplete/FsAutoComplete.Lsp.fs
@@ -118,6 +118,9 @@ type FSharpLspClient(sendServerNotification: ClientNotificationSender, sendServe
   member __.NotifyTestDetected(p: TestDetectedNotification) =
     sendServerNotification "fsharp/testDetected" (box p) |> Async.Ignore
 
+  member __.CodeLensRefresh() =
+    sendServerNotification "workspace/codeLens/refresh" () |> Async.Ignore
+
 type DiagnosticMessage =
   | Add of source: string * diags: Diagnostic[]
   | Clear of source: string
@@ -313,6 +316,8 @@ type FSharpLspServer(state: State, lspClient: FSharpLspClient) =
       | NotificationEvent.FileParsed fn ->
         let uri = Path.LocalPathToUri fn
 
+        lspClient.CodeLensRefresh() |> Async.Start
+
         ({ Content = UMX.untag uri }: PlainNotification)
         |> lspClient.NotifyFileParsed
         |> Async.Start