From d72988f63e5e422d26384f15c18ae0d8e470bbd7 Mon Sep 17 00:00:00 2001 From: Nick Hu Date: Fri, 24 May 2024 21:29:31 +0100 Subject: [PATCH] advertise inlay hints server capability --- src/server.ml | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/server.ml b/src/server.ml index 8994f395..18e89d15 100644 --- a/src/server.ml +++ b/src/server.ml @@ -206,6 +206,15 @@ module Make (IO : IO) = struct None (** @since 0.3 *) + method config_inlay_hints + : [ `Bool of bool + | `InlayHintOptions of InlayHintOptions.t + | `InlayHintRegistrationOptions of InlayHintRegistrationOptions.t + ] + option = + None + (** Configuration for the inlay hints API. *) + method config_symbol : [ `Bool of bool | `DocumentSymbolOptions of DocumentSymbolOptions.t @@ -242,6 +251,7 @@ module Make (IO : IO) = struct ?completionProvider:self#config_completion ?definitionProvider:self#config_definition ?hoverProvider:self#config_hover + ?inlayHintProvider:self#config_inlay_hints ?documentSymbolProvider:self#config_symbol ~textDocumentSync:(`TextDocumentSyncOptions sync_opts) () |> self#config_modify_capabilities