IDE: rerender machineTree if workspaces fetched lazily
IDE: removed unused event