Documentation

TextDocumentSyncOptions
in package

Lwt

A detailed structure defining expected notifications from the client of changes to text documents.

$change : int|null: Change notifications are sent to the server. See TextDocumentSyncKind.None, TextDocumentSyncKind.Full and TextDocumentSyncKindIncremental.
$openClose : bool|null: Open and close notifications are sent to the server.
$save : SaveOptions|null: Save notifications are sent to the server.
$willSave : bool|null: Will save notifications get sent to the server.
$willSaveWaitUntil : bool|null: Will save wait until requests get sent to the server.

Change notifications are sent to the server. See TextDocumentSyncKind.None, TextDocumentSyncKind.Full and TextDocumentSyncKindIncremental.


        public
            int|null
    $change

Open and close notifications are sent to the server.


        public
            bool|null
    $openClose

Save notifications are sent to the server.


        public
            SaveOptions|null
    $save

Will save notifications get sent to the server.


        public
            bool|null
    $willSave

Will save wait until requests get sent to the server.


        public
            bool|null
    $willSaveWaitUntil

On this page