()
| 407 | * Clean up the file watcher. |
| 408 | */ |
| 409 | export function disposeKeybindingWatcher(): void { |
| 410 | disposed = true |
| 411 | if (watcher) { |
| 412 | void watcher.close() |
| 413 | watcher = null |
| 414 | } |
| 415 | keybindingsChanged.clear() |
| 416 | } |
| 417 | |
| 418 | /** |
| 419 | * Subscribe to keybinding changes. |
no test coverage detected