syncFiles
Take all pending file updates, advancing each file's version/doc. Returns the updates that should be sent to the server as textDocument/didChange.
Mirrors upstream Workspace.syncFiles().
Take all pending file updates, advancing each file's version/doc. Returns the updates that should be sent to the server as textDocument/didChange.
Mirrors upstream Workspace.syncFiles().