diff --git a/src/server.ml b/src/server.ml index f6de656a..b14275ee 100644 --- a/src/server.ml +++ b/src/server.ml @@ -111,7 +111,9 @@ module Make(IO : IO) = struct (** Parameter for how to synchronize content with the editor *) method config_sync_opts : TextDocumentSyncOptions.t = 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 (** Configuration for the completion API.