feat: show the agent's logo on terminal tabs

Assets.xcassets/AgentIcons/ATTRIBUTIONS.md

@@ -0,0 +1,46 @@
+# Agent tab icons
+
+The SVGs in this folder are the agent logos shown on terminal tabs when Programa detects a coding agent in that terminal.
+
+- **Source:** https://github.com/lobehub/lobe-icons, `packages/static-svg/icons/`
+- **Pinned commit:** `a94750e3f5f8fc33757b839d85030e742284e43a`
+- **License:** MIT, Copyright (c) 2023 LobeHub (text below)
+
+| Asset | Lobe Icons file |
+|---|---|
+| `AgentIconClaudeCode` | `claudecode-color.svg` |
+| `AgentIconCodex` | `codex-color.svg` |
+| `AgentIconCopilot` | `githubcopilot.svg` |
+| `AgentIconCursor` | `cursor.svg` |
+| `AgentIconGeminiCLI` | `geminicli-color.svg` |
+| `AgentIconOpenCode` | `opencode.svg` |
+
+Aider has no icon in Lobe Icons, so Aider terminals keep the terminal symbol.
+
+Local changes to each file: the `<title>` element and the inline `style` attribute are removed, and `width`/`height` of `1em` become `24`. The monochrome logos (Copilot, Cursor, OpenCode) replace `fill="currentColor"` with `#000000` for the light appearance and a second file with `#FFFFFF` for the dark appearance. Path data is re-serialized with spaces between values and explicit arc flags, because Xcode's SVG compiler rejects the compact flag form; the geometry is identical.
+
+The logos are trademarks of their respective owners and are used here only to identify the tool running in a tab.
+
+## Lobe Icons license
+
+MIT License
+
+Copyright (c) 2023 LobeHub
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

Assets.xcassets/AgentIcons/AgentIconClaudeCode.imageset/Contents.json

@@ -0,0 +1,15 @@
+{
+  "images": [
+    {
+      "filename": "AgentIconClaudeCode.svg",
+      "idiom": "universal"
+    }
+  ],
+  "info": {
+    "author": "xcode",
+    "version": 1
+  },
+  "properties": {
+    "preserves-vector-representation": true
+  }
+}

Assets.xcassets/AgentIcons/AgentIconCodex.imageset/Contents.json

@@ -0,0 +1,15 @@
+{
+  "images": [
+    {
+      "filename": "AgentIconCodex.svg",
+      "idiom": "universal"
+    }
+  ],
+  "info": {
+    "author": "xcode",
+    "version": 1
+  },
+  "properties": {
+    "preserves-vector-representation": true
+  }
+}

Assets.xcassets/AgentIcons/AgentIconCopilot.imageset/Contents.json

@@ -0,0 +1,25 @@
+{
+  "images": [
+    {
+      "filename": "AgentIconCopilot.svg",
+      "idiom": "universal"
+    },
+    {
+      "appearances": [
+        {
+          "appearance": "luminosity",
+          "value": "dark"
+        }
+      ],
+      "filename": "AgentIconCopilot-dark.svg",
+      "idiom": "universal"
+    }
+  ],
+  "info": {
+    "author": "xcode",
+    "version": 1
+  },
+  "properties": {
+    "preserves-vector-representation": true
+  }
+}

Assets.xcassets/AgentIcons/AgentIconCursor.imageset/Contents.json

@@ -0,0 +1,25 @@
+{
+  "images": [
+    {
+      "filename": "AgentIconCursor.svg",
+      "idiom": "universal"
+    },
+    {
+      "appearances": [
+        {
+          "appearance": "luminosity",
+          "value": "dark"
+        }
+      ],
+      "filename": "AgentIconCursor-dark.svg",
+      "idiom": "universal"
+    }
+  ],
+  "info": {
+    "author": "xcode",
+    "version": 1
+  },
+  "properties": {
+    "preserves-vector-representation": true
+  }
+}

Assets.xcassets/AgentIcons/AgentIconGeminiCLI.imageset/Contents.json

@@ -0,0 +1,15 @@
+{
+  "images": [
+    {
+      "filename": "AgentIconGeminiCLI.svg",
+      "idiom": "universal"
+    }
+  ],
+  "info": {
+    "author": "xcode",
+    "version": 1
+  },
+  "properties": {
+    "preserves-vector-representation": true
+  }
+}

Assets.xcassets/AgentIcons/AgentIconOpenCode.imageset/Contents.json

@@ -0,0 +1,25 @@
+{
+  "images": [
+    {
+      "filename": "AgentIconOpenCode.svg",
+      "idiom": "universal"
+    },
+    {
+      "appearances": [
+        {
+          "appearance": "luminosity",
+          "value": "dark"
+        }
+      ],
+      "filename": "AgentIconOpenCode-dark.svg",
+      "idiom": "universal"
+    }
+  ],
+  "info": {
+    "author": "xcode",
+    "version": 1
+  },
+  "properties": {
+    "preserves-vector-representation": true
+  }
+}

GhosttyTabs.xcodeproj/project.pbxproj

@@ -24,6 +24,7 @@
 			NRSP0076A1B2C3D4E5F60719 /* Workspace+Surfaces.swift in Sources */ = {isa = PBXBuildFile; fileRef = NRSP0075A1B2C3D4E5F60719 /* Workspace+Surfaces.swift */; };
 			NRSP0074A1B2C3D4E5F60719 /* Workspace+SidebarTelemetry.swift in Sources */ = {isa = PBXBuildFile; fileRef = NRSP0073A1B2C3D4E5F60719 /* Workspace+SidebarTelemetry.swift */; };
 			AGST0001A1B2C3D4E5F60719 /* AgentActivityState.swift in Sources */ = {isa = PBXBuildFile; fileRef = AGST0002A1B2C3D4E5F60719 /* AgentActivityState.swift */; };
+			TTAI0001A1B2C3D4E5F60719 /* TerminalTabAgentIcon.swift in Sources */ = {isa = PBXBuildFile; fileRef = TTAI0002A1B2C3D4E5F60719 /* TerminalTabAgentIcon.swift */; };
 			7501A0000000000000000003 /* GhosttyApp+ProgramStatus.swift in Sources */ = {isa = PBXBuildFile; fileRef = 7501A0000000000000000004 /* GhosttyApp+ProgramStatus.swift */; };
 			7501A0000000000000000001 /* ProgramStatus.swift in Sources */ = {isa = PBXBuildFile; fileRef = 7501A0000000000000000002 /* ProgramStatus.swift */; };
 			7501A0000000000000000007 /* TerminalController+SurfaceWaitProgram.swift in Sources */ = {isa = PBXBuildFile; fileRef = 7501A0000000000000000008 /* TerminalController+SurfaceWaitProgram.swift */; };
@@ -417,6 +418,7 @@
 			NRSP0075A1B2C3D4E5F60719 /* Workspace+Surfaces.swift */ = {isa = PBXFileReference; lastKnownFileType = sourcecode.swift; path = "Workspace+Surfaces.swift"; sourceTree = "<group>"; };
 			NRSP0073A1B2C3D4E5F60719 /* Workspace+SidebarTelemetry.swift */ = {isa = PBXFileReference; lastKnownFileType = sourcecode.swift; path = "Workspace+SidebarTelemetry.swift"; sourceTree = "<group>"; };
 			AGST0002A1B2C3D4E5F60719 /* AgentActivityState.swift */ = {isa = PBXFileReference; lastKnownFileType = sourcecode.swift; path = "AgentActivityState.swift"; sourceTree = "<group>"; };
+			TTAI0002A1B2C3D4E5F60719 /* TerminalTabAgentIcon.swift */ = {isa = PBXFileReference; lastKnownFileType = sourcecode.swift; path = "TerminalTabAgentIcon.swift"; sourceTree = "<group>"; };
 			7501A0000000000000000002 /* ProgramStatus.swift */ = {isa = PBXFileReference; lastKnownFileType = sourcecode.swift; path = ProgramStatus.swift; sourceTree = "<group>"; };
 			7501A0000000000000000008 /* TerminalController+SurfaceWaitProgram.swift */ = {isa = PBXFileReference; lastKnownFileType = sourcecode.swift; path = "TerminalController+SurfaceWaitProgram.swift"; sourceTree = "<group>"; };
 			7501A0000000000000000004 /* GhosttyApp+ProgramStatus.swift */ = {isa = PBXFileReference; lastKnownFileType = sourcecode.swift; path = "GhosttyApp+ProgramStatus.swift"; sourceTree = "<group>"; };
@@ -865,6 +867,7 @@
 					NRSP0075A1B2C3D4E5F60719 /* Workspace+Surfaces.swift */,
 					NRSP0073A1B2C3D4E5F60719 /* Workspace+SidebarTelemetry.swift */,
 					AGST0002A1B2C3D4E5F60719 /* AgentActivityState.swift */,
+					TTAI0002A1B2C3D4E5F60719 /* TerminalTabAgentIcon.swift */,
 					7501A0000000000000000002 /* ProgramStatus.swift */,
 					7501A0000000000000000008 /* TerminalController+SurfaceWaitProgram.swift */,
 					7501A0000000000000000004 /* GhosttyApp+ProgramStatus.swift */,
@@ -1398,6 +1401,7 @@
 					NRSP0076A1B2C3D4E5F60719 /* Workspace+Surfaces.swift in Sources */,
 					NRSP0074A1B2C3D4E5F60719 /* Workspace+SidebarTelemetry.swift in Sources */,
 					AGST0001A1B2C3D4E5F60719 /* AgentActivityState.swift in Sources */,
+					TTAI0001A1B2C3D4E5F60719 /* TerminalTabAgentIcon.swift in Sources */,
 					7501A0000000000000000001 /* ProgramStatus.swift in Sources */,
 					7501A0000000000000000007 /* TerminalController+SurfaceWaitProgram.swift in Sources */,
 					7501A0000000000000000003 /* GhosttyApp+ProgramStatus.swift in Sources */,

Sources/AgentActivityState.swift

@@ -85,6 +85,9 @@ struct AgentPresence: Equatable, Sendable {
     var source: AgentStateSource
     var lastEventAt: Date
     var sessionKey: AgentSessionKey?
+    /// Manifest id of the agent the screen-manifest engine recognized (`.inferred` source only;
+    /// inferred reports carry no session key, so this is the only record of who the agent is).
+    var inferredAgent: String?
     /// The root record's state when `source == .program`; `state` holds its legacy projection
     /// (done and error both read as `.idle`). Nil for every other source.
     var programState: ProgramStatusState?

Sources/AgentScreenDetectionEngine.swift

@@ -354,7 +354,8 @@ final class AgentScreenDetectionEngine: @unchecked Sendable {
             workspace.updatePanelAgentState(
                 panelId: surfaceId,
                 state: resolvedState,
-                source: .inferred
+                source: .inferred,
+                inferredAgent: manifest.agent
             )
         }
     }