(uri: string)
| 270 | } |
| 271 | |
| 272 | addWorkspaceFolder(uri: string): boolean { |
| 273 | if (this.#workspaceFolders.has(uri)) { |
| 274 | return false; |
| 275 | } |
| 276 | |
| 277 | this.#workspaceFolders.add(uri); |
| 278 | this.#sendNotification("workspace/didChangeWorkspaceFolders", { |
| 279 | event: { |
| 280 | added: [{ uri, name: this.#getFolderName(uri) }], |
| 281 | removed: [], |
| 282 | }, |
| 283 | }); |
| 284 | console.info(`[LSP:Workspace] Added workspace folder: ${uri}`); |
| 285 | this.#log("info", `Workspace folder added: ${uri}`); |
| 286 | return true; |
| 287 | } |
| 288 | |
| 289 | removeWorkspaceFolder(uri: string): boolean { |
| 290 | if (!this.#workspaceFolders.has(uri)) { |
no test coverage detected