Function onWorkspaceListChanged

src/app/workspaceService.ts:47–50

(cb: () => void)

const WORKSPACE_LIST_CHANGED = 'df:workspace-list-changed';

export function onWorkspaceListChanged(cb: () => void): () => void {
    window.addEventListener(WORKSPACE_LIST_CHANGED, cb);
    return () => window.removeEventListener(WORKSPACE_LIST_CHANGED, cb);
}

function _notifyListChanged(): void {
    window.dispatchEvent(new Event(WORKSPACE_LIST_CHANGED));