Workspaces
{ e.preventDefault(); onNavigate("/default"); }} > Default
{#if plugins}
(managerOpen = true)} title="Open the plugin manager (load/unload plugins globally)" > Plugins
{/if}
{ e.preventDefault(); createWorkspace(); }} >
New workspace
Create
{#if slugError}
{slugError}
{/if}
{#if store.loading && store.list.length === 0}
{:else if store.list.length === 0}
No workspaces yet. Create one above or visit
/your-name
in the URL.
{:else}
{#each store.list as ws (ws.id)}
{/each}
{/if}
{#if managerOpen && plugins}
(managerOpen = false)} /> {/if}