{#if servers !== null}

{$i18n.t("General")}

{$i18n.t("Manage Tool Servers")}

{#each servers as server, idx} { updateHandler(); }} onDelete={() => { servers = servers.filter( (_, i) => i !== idx, ); updateHandler(); }} /> {/each}

{#if servers.length === 0}

{$i18n.t( "No tool server connections configured.", )}

{/if}

{$i18n.t( "Connect to your own OpenAPI compatible external tool servers.", )}

{$i18n.t("Open Terminal")}

{$i18n.t("Experimental")}

{#each terminalConnections as connection, idx}

{connection.name || connection.url || $i18n.t("New Terminal")}

{ terminalConnections = terminalConnections.map( (c, i) => i === idx ? { ...c, enabled: !( c?.enabled !== false ), } : c, ); saveTerminalServers(); }} />

{/each}

{#if terminalConnections.length === 0}

{$i18n.t("No terminal connections configured.")}

{/if}

{$i18n.t( "Connect to Open Terminal instances. All users will have access to file browsing and terminal tools through these servers.", )}

{$i18n.t("Learn more about Open Terminal")} ↗

{:else}

{/if}