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.