GenLSP.Protocol.Structures.TextDocumentSyncOptions (gen_lsp v0.0.1)
properties
Properties
openClose :: boolean
Open and close notifications are sent to the server. If omitted open close notification should not be sent.
change :: TextDocumentSyncKind
Change notifications are sent to the server. See TextDocumentSyncKind.None, TextDocumentSyncKind.Full and TextDocumentSyncKind.Incremental. If omitted it defaults to TextDocumentSyncKind.None.
willSave :: boolean
If present will save notifications are sent to the server. If omitted the notification should not be sent.
willSaveWaitUntil :: boolean
If present will save wait until requests are sent to the server. If omitted the request should not be sent.
save :: unimplemented doc type
If present save notifications are sent to the server. If omitted the notification should not be sent.