()
| 399 | } |
| 400 | |
| 401 | function initMenuEventSubscriptions() { |
| 402 | waveEventSubscribeSingle({ |
| 403 | eventType: "workspace:update", |
| 404 | handler: makeAndSetAppMenu, |
| 405 | }); |
| 406 | } |
| 407 | |
| 408 | function getWebContentsByWorkspaceOrBuilderId(workspaceOrBuilderId: string): electron.WebContents { |
| 409 | const ww = getWaveWindowByWorkspaceId(workspaceOrBuilderId); |
no test coverage detected