(capabilities: ServerCapabilities, documentSelector: DocumentSelector)
| 1365 | } |
| 1366 | |
| 1367 | public initialize(capabilities: ServerCapabilities, documentSelector: DocumentSelector): void { |
| 1368 | if (!capabilities.hoverProvider || !documentSelector) { |
| 1369 | return; |
| 1370 | } |
| 1371 | this.register(this.messages, { |
| 1372 | id: UUID.generateUuid(), |
| 1373 | registerOptions: Object.assign({}, { documentSelector: documentSelector }) |
| 1374 | }); |
| 1375 | } |
| 1376 | |
| 1377 | protected registerLanguageProvider(options: TextDocumentRegistrationOptions): Disposable { |
| 1378 | let client = this._client; |