(projectId)
| 51 | } |
| 52 | |
| 53 | export function setShellSelectedProjectId(projectId) { |
| 54 | const next = String(projectId || ""); |
| 55 | if (next === selectedProjectId) return; |
| 56 | selectedProjectId = next; |
| 57 | notifyProjectListeners(); |
| 58 | } |
| 59 | |
| 60 | export function subscribeSelectedProject(fn) { |
| 61 | projectListeners.add(fn); |
no test coverage detected