From 38c85ce5cad6610cc0c5a8f0b02422729b8330cd Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 13 Apr 2021 15:30:03 -0400 Subject: [PATCH] config for documentSymbolProvider --- src/server.ml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/server.ml b/src/server.ml index c9745460..ccb0703e 100644 --- a/src/server.ml +++ b/src/server.ml @@ -105,6 +105,10 @@ module Make(IO : IO) = struct [`Bool of bool | `HoverOptions of HoverOptions.t ] option = None (** @since NEXT_RELEASE *) + method config_symbol : + [`Bool of bool | `DocumentSymbolOptions of DocumentSymbolOptions.t ] option = None + (** @since NEXT_RELEASE *) + method config_code_action_provider : [`CodeActionOptions of CodeActionOptions.t | `Bool of bool] = `Bool false (** @since NEXT_RELEASE *) @@ -128,6 +132,7 @@ module Make(IO : IO) = struct ~commands:self#config_list_commands ()) ?definitionProvider:self#config_definition ?hoverProvider:self#config_hover + ?documentSymbolProvider:self#config_symbol ~textDocumentSync:(`TextDocumentSyncOptions sync_opts) () |> self#config_modify_capabilities in