{#if selectedWorkspace}

{workspaceTitle} {workspaceType}

{#if displayedTools.length > 0}

{#each displayedTools as tool (tool.id + tool.pluginId)} {/each}

{#if activeTool} {#if activeTool.shell} {:else} {/if} {/if}

{:else}

No workspace tools available

Enable plugins with workspace tools or open Plugin Manager from settings.

{/if} {:else}

Select a workspace

Use the + button in Workspaces to add your first project.

{/if}