* Reset the settings cache, then notify all listeners. * * The cache reset MUST happen here (single producer), not in each listener * (N consumers). Previously, listeners like useSettingsChange and * applySettingsChange reset defensively because some notification paths * (file-watch at :289/340
(source: SettingSource)
| 435 | * repopulates; all subsequent listeners hit the cache. |
| 436 | */ |
| 437 | function fanOut(source: SettingSource): void { |
| 438 | resetSettingsCache() |
| 439 | settingsChanged.emit(source) |
| 440 | } |
| 441 | |
| 442 | /** |
| 443 | * Manually notify listeners of a settings change. |
no test coverage detected