()
| 2027 | } |
| 2028 | |
| 2029 | public initialize(): void { |
| 2030 | let section = this._client.clientOptions.synchronize!.configurationSection; |
| 2031 | if (section !== void 0) { |
| 2032 | this.register(this.messages, { |
| 2033 | id: UUID.generateUuid(), |
| 2034 | registerOptions: { |
| 2035 | section: section |
| 2036 | } |
| 2037 | }) |
| 2038 | } |
| 2039 | } |
| 2040 | |
| 2041 | public register(_message: RPCMessageType, data: RegistrationData<DidChangeConfigurationRegistrationOptions>): void { |
| 2042 | let disposable = Workspace.onDidChangeConfiguration(() => { |