From bb2a8aaaa9d6d00fa30b1b4e0780ee42b06fad5f Mon Sep 17 00:00:00 2001
From: Dirk Baeumer <dirkb@microsoft.com>
Date: Thu, 25 Apr 2019 17:01:25 +0200
Subject: [PATCH] Fixes #713: Make it clearer whether servers must support
 textDocument/didSave

---
 specification.md | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/specification.md b/specification.md
index 60c28cc..77ff344 100644
--- a/specification.md
+++ b/specification.md
@@ -1741,7 +1741,8 @@ export interface FoldingRangeProviderOptions {
 
 export interface TextDocumentSyncOptions {
 	/**
-	 * Open and close notifications are sent to the server.
+	 * Open and close notifications are sent to the server. If omitted open close notification should not
+	 * be sent.
 	 */
 	openClose?: boolean;
 	/**
@@ -1750,15 +1751,18 @@ export interface TextDocumentSyncOptions {
 	 */
 	change?: number;
 	/**
-	 * Will save notifications are sent to the server.
+	 * If present will save notifications are sent to the server. If omitted the notification should not be
+	 * sent.
 	 */
 	willSave?: boolean;
 	/**
-	 * Will save wait until requests are sent to the server.
+	 * If present will save wait until requests are sent to the server. If omitted the request should not be
+	 * sent.
 	 */
 	willSaveWaitUntil?: boolean;
 	/**
-	 * Save notifications are sent to the server.
+	 * If present save notifications are sent to the server. If omitted the notification should not be
+	 * sent.
 	 */
 	save?: SaveOptions;
 }