Fixes #713: Make it clearer whether servers must support textDocument/didSave

This commit is contained in:
Dirk Baeumer 2019-04-25 17:01:25 +02:00
parent 382d33c2b4
commit bb2a8aaaa9

View file

@ -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;
}