fix: better options for config sync opts

This commit is contained in:
Simon Cruanes 2021-11-21 23:04:48 -05:00
parent 066577c4db
commit 3e42640335
No known key found for this signature in database
GPG key ID: 4AC01D0849AA62B6

View file

@ -111,7 +111,9 @@ module Make(IO : IO) = struct
(** Parameter for how to synchronize content with the editor *) (** Parameter for how to synchronize content with the editor *)
method config_sync_opts : TextDocumentSyncOptions.t = method config_sync_opts : TextDocumentSyncOptions.t =
TextDocumentSyncOptions.create TextDocumentSyncOptions.create
~change:TextDocumentSyncKind.Incremental ~willSave:false () ~change:TextDocumentSyncKind.Incremental ~openClose:true
~save:(SaveOptions.create ~includeText:false ())
~willSave:false ()
method config_completion : CompletionOptions.t option = None method config_completion : CompletionOptions.t option = None
(** Configuration for the completion API. (** Configuration for the completion API.