diff --git a/src/lib/components/chat/MessageInput/TerminalMenu.svelte b/src/lib/components/chat/MessageInput/TerminalMenu.svelte index 848d081f2..cc73f04f2 100644 --- a/src/lib/components/chat/MessageInput/TerminalMenu.svelte +++ b/src/lib/components/chat/MessageInput/TerminalMenu.svelte @@ -66,7 +66,10 @@ // Disable all direct terminals when switching to a system terminal if ($settings?.terminalServers?.some((s) => s.enabled)) { - const updatedServers = ($settings.terminalServers ?? []).map((s) => ({ ...s, enabled: false })); + const updatedServers = ($settings.terminalServers ?? []).map((s) => ({ + ...s, + enabled: false + })); settings.set({ ...$settings, terminalServers: updatedServers @@ -111,17 +114,29 @@ {#if $user?.role === 'admin' || ($user?.permissions?.features?.direct_tool_servers ?? true)}