From 3e426403350ae25d4be5bd2d5cb4f0d9e5dff1ab Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 21 Nov 2021 23:04:48 -0500
Subject: [PATCH] fix: better options for config sync opts

---
 src/server.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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.