Repository navigation
Search agents on all servers from Pane Search - #512
Merged
Merged
Conversation
Alt+K now also lists agent panes from the other ready servers, ordered attention first, with a server badge. Terms match the server label too. Selecting a remote entry opens its server, like the All servers sidebar. The search field gets an inset, rounded look with an icon instead of an edge-to-edge strip that picked up the global focus ring as stray lines.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Closes #511
Summary
Pane Search (
Alt+K) now also lists agent panes from the other ready servers, reusing theconnections.agent_sessionssummaries behind the All servers sidebar (#494). The summaries load only while search mode is open.sortAgentPanes(..., "attention")).openServerSession. Local entries still usestore.focusPane.paneJumpEntryKey(connection ID + pane ID for remote entries).Searchicon and inherits the base input focus style. Before, the edge-to-edge field drew the global focus ring as stray lines.Recent switching (
panes.recent) is unchanged and still covers only the active server.Verification
bun test web/src/paneJump.test.ts: 13 pass. New cases: active-server skip, server and tab term matching, unique keys across servers.typecheckpass.bun run build:linux-x64: initial JS 802.0/805 KiB, gzip 247.3/256 KiB, CSS 181.4/196 KiB.test:quickinoven/bun:1.4.4with git and ssh installed: 3921 pass, 5 skip, 13 fail. All failures are in server tests this PR does not touch (SSH shell file mutations, Codex transcript lookup, update installation). The Codex and update-install failures also reproduce on unmodifiedmainin the same container.Compatibility
Frontend only. No protocol, config or API changes.