chore(ui): optimize AgentsStatus layout with dense list style and group separation (#16545)

This commit is contained in:
Adam Weidman
2026-01-13 16:35:31 -05:00
committed by GitHub
parent e8be252b75
commit b518125c46
2 changed files with 3 additions and 3 deletions
@@ -363,7 +363,6 @@ Remote Agents
- remote_agent - remote_agent
Remote agent description. Remote agent description.
" "
`; `;
@@ -24,7 +24,7 @@ export const AgentsStatus: React.FC<AgentsStatusProps> = ({
if (agents.length === 0) { if (agents.length === 0) {
return ( return (
<Box flexDirection="column"> <Box flexDirection="column" marginBottom={1}>
<Text>No agents available.</Text> <Text>No agents available.</Text>
</Box> </Box>
); );
@@ -34,7 +34,7 @@ export const AgentsStatus: React.FC<AgentsStatusProps> = ({
if (agentList.length === 0) return null; if (agentList.length === 0) return null;
return ( return (
<Box flexDirection="column" marginBottom={1}> <Box flexDirection="column">
<Text bold color={theme.text.primary}> <Text bold color={theme.text.primary}>
{title} {title}
</Text> </Text>
@@ -66,6 +66,7 @@ export const AgentsStatus: React.FC<AgentsStatusProps> = ({
return ( return (
<Box flexDirection="column" marginBottom={1}> <Box flexDirection="column" marginBottom={1}>
{renderAgentList('Local Agents', localAgents)} {renderAgentList('Local Agents', localAgents)}
{localAgents.length > 0 && remoteAgents.length > 0 && <Box height={1} />}
{renderAgentList('Remote Agents', remoteAgents)} {renderAgentList('Remote Agents', remoteAgents)}
</Box> </Box>
); );