From 59bec310460dcae2d0f7f1889cfce4942678dbdc Mon Sep 17 00:00:00 2001
From: Developer <dev@headquarter.local>
Date: Thu, 11 Jun 2026 09:19:26 +0000
Subject: [PATCH] style: add separator between workspace and tool type in
 terminal tab title
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Before: 'MyWorkspace code-server Session 1'
After:  'MyWorkspace · code-server Session 1'

Quality gates: tsc --noEmit pass, npm run build pass, 82/82 tests pass
---
 apps/web/src/hooks/use-terminal-page.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/apps/web/src/hooks/use-terminal-page.ts b/apps/web/src/hooks/use-terminal-page.ts
index 4d50366..482a48b 100644
--- a/apps/web/src/hooks/use-terminal-page.ts
+++ b/apps/web/src/hooks/use-terminal-page.ts
@@ -100,7 +100,7 @@ export const useTerminalPage = () => {
 		}
 		const active = sessions.find((s) => s.id === activeSessionId);
 		const baseName = instanceInfo
-			? `${instanceInfo.workspace_name ?? instanceInfo.display_name} ${instanceInfo.tool_type_name}`
+			? `${instanceInfo.workspace_name ?? instanceInfo.display_name} · ${instanceInfo.tool_type_name}`
 			: `Instance ${instanceId.slice(0, 8)}`;
 		if (sessions.length <= 1) {
 			document.title = baseName;