| 992 | } |
| 993 | |
| 994 | public initialize(capabilities: ServerCapabilities, documentSelector: DocumentSelector): void { |
| 995 | let textDocumentSyncOptions = (capabilities as ResolvedTextDocumentSyncCapabilities).resolvedTextDocumentSync; |
| 996 | if (documentSelector && textDocumentSyncOptions && textDocumentSyncOptions.willSave) { |
| 997 | this.register(this.messages, { |
| 998 | id: UUID.generateUuid(), |
| 999 | registerOptions: { documentSelector: documentSelector } |
| 1000 | }); |
| 1001 | } |
| 1002 | } |
| 1003 | } |
| 1004 | |
| 1005 | class WillSaveWaitUntilFeature implements DynamicFeature<TextDocumentRegistrationOptions> { |