{ updateHandler(); }} >
{#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}
{$i18n.t('Connect to your own OpenAPI compatible external tool servers.')}
{:else}
{/if}