mirror of
https://github.com/getcompanion-ai/co-mono.git
synced 2026-04-15 14:03:49 +00:00
feat(coding-agent): implement /tree command for session tree navigation
- Add TreeSelectorComponent with ASCII tree visualization - Add AgentSession.navigateTree() for switching branches - Add session_before_tree/session_tree hook events - Add SessionManager.resetLeaf() for navigating to root - Change leafId from string to string|null for consistency with parentId - Support optional branch summarization when switching - Update buildSessionContext() to handle null leafId - Add /tree to slash commands in interactive mode
This commit is contained in:
Mario Zechner
parent
256761e410
commit
4958271dd3
9 changed files with 893 additions and 443 deletions
|
|
@ -0,0 +1,315 @@
|
|||
import {
|
||||
type Component,
|
||||
Container,
|
||||
isArrowDown,
|
||||
isArrowUp,
|
||||
isCtrlC,
|
||||
isCtrlO,
|
||||
isCtrlU,
|
||||
isEnter,
|
||||
isEscape,
|
||||
Spacer,
|
||||
Text,
|
||||
truncateToWidth,
|
||||
} from "@mariozechner/pi-tui";
|
||||
import type { SessionTreeNode } from "../../../core/session-manager.js";
|
||||
import { theme } from "../theme/theme.js";
|
||||
import { DynamicBorder } from "./dynamic-border.js";
|
||||
|
||||
/** Flattened tree node for navigation */
|
||||
interface FlatNode {
|
||||
node: SessionTreeNode;
|
||||
depth: number;
|
||||
isLast: boolean;
|
||||
/** Prefix chars showing tree structure (│, ├, └, spaces) */
|
||||
prefix: string;
|
||||
}
|
||||
|
||||
/** Filter mode for tree display */
|
||||
type FilterMode = "default" | "user-only" | "all";
|
||||
|
||||
/**
|
||||
* Tree list component with selection and ASCII art visualization
|
||||
*/
|
||||
class TreeList implements Component {
|
||||
private flatNodes: FlatNode[] = [];
|
||||
private filteredNodes: FlatNode[] = [];
|
||||
private selectedIndex = 0;
|
||||
private currentLeafId: string | null;
|
||||
private maxVisibleLines: number;
|
||||
private filterMode: FilterMode = "default";
|
||||
|
||||
public onSelect?: (entryId: string) => void;
|
||||
public onCancel?: () => void;
|
||||
|
||||
constructor(tree: SessionTreeNode[], currentLeafId: string | null, maxVisibleLines: number) {
|
||||
this.currentLeafId = currentLeafId;
|
||||
this.maxVisibleLines = maxVisibleLines;
|
||||
this.flatNodes = this.flattenTree(tree);
|
||||
this.applyFilter();
|
||||
|
||||
// Start with current leaf selected
|
||||
const leafIndex = this.filteredNodes.findIndex((n) => n.node.entry.id === currentLeafId);
|
||||
if (leafIndex !== -1) {
|
||||
this.selectedIndex = leafIndex;
|
||||
} else {
|
||||
this.selectedIndex = Math.max(0, this.filteredNodes.length - 1);
|
||||
}
|
||||
}
|
||||
|
||||
private flattenTree(roots: SessionTreeNode[]): FlatNode[] {
|
||||
const result: FlatNode[] = [];
|
||||
|
||||
const traverse = (node: SessionTreeNode, depth: number, prefix: string, isLast: boolean) => {
|
||||
result.push({ node, depth, isLast, prefix });
|
||||
|
||||
const children = node.children;
|
||||
for (let i = 0; i < children.length; i++) {
|
||||
const child = children[i];
|
||||
const childIsLast = i === children.length - 1;
|
||||
const childPrefix = prefix + (isLast ? " " : "│ ");
|
||||
traverse(child, depth + 1, childPrefix, childIsLast);
|
||||
}
|
||||
};
|
||||
|
||||
for (let i = 0; i < roots.length; i++) {
|
||||
traverse(roots[i], 0, "", i === roots.length - 1);
|
||||
}
|
||||
|
||||
return result;
|
||||
}
|
||||
|
||||
private applyFilter(): void {
|
||||
this.filteredNodes = this.flatNodes.filter((flatNode) => {
|
||||
const entry = flatNode.node.entry;
|
||||
|
||||
if (this.filterMode === "all") {
|
||||
return true;
|
||||
}
|
||||
|
||||
if (this.filterMode === "user-only") {
|
||||
return (
|
||||
(entry.type === "message" && entry.message.role === "user") ||
|
||||
(entry.type === "custom_message" && entry.display)
|
||||
);
|
||||
}
|
||||
|
||||
// Default mode: hide label and custom entries
|
||||
return entry.type !== "label" && entry.type !== "custom";
|
||||
});
|
||||
|
||||
// Adjust selected index if needed
|
||||
if (this.selectedIndex >= this.filteredNodes.length) {
|
||||
this.selectedIndex = Math.max(0, this.filteredNodes.length - 1);
|
||||
}
|
||||
}
|
||||
|
||||
invalidate(): void {
|
||||
// No cached state to invalidate
|
||||
}
|
||||
|
||||
render(width: number): string[] {
|
||||
const lines: string[] = [];
|
||||
|
||||
if (this.filteredNodes.length === 0) {
|
||||
lines.push(theme.fg("muted", " No entries found"));
|
||||
return lines;
|
||||
}
|
||||
|
||||
// Calculate visible range with scrolling
|
||||
const startIndex = Math.max(
|
||||
0,
|
||||
Math.min(
|
||||
this.selectedIndex - Math.floor(this.maxVisibleLines / 2),
|
||||
this.filteredNodes.length - this.maxVisibleLines,
|
||||
),
|
||||
);
|
||||
const endIndex = Math.min(startIndex + this.maxVisibleLines, this.filteredNodes.length);
|
||||
|
||||
for (let i = startIndex; i < endIndex; i++) {
|
||||
const flatNode = this.filteredNodes[i];
|
||||
const entry = flatNode.node.entry;
|
||||
const isSelected = i === this.selectedIndex;
|
||||
const isCurrentLeaf = entry.id === this.currentLeafId;
|
||||
|
||||
// Build tree connector
|
||||
let connector = "";
|
||||
if (flatNode.depth > 0) {
|
||||
connector = flatNode.prefix + (flatNode.isLast ? "└─ " : "├─ ");
|
||||
}
|
||||
|
||||
// Get entry display text
|
||||
const displayText = this.getEntryDisplayText(flatNode.node, width - connector.length - 15);
|
||||
|
||||
// Build suffix
|
||||
let suffix = "";
|
||||
if (isCurrentLeaf) {
|
||||
suffix = theme.fg("accent", " ← active");
|
||||
}
|
||||
if (flatNode.node.label) {
|
||||
suffix += theme.fg("warning", ` [${flatNode.node.label}]`);
|
||||
}
|
||||
|
||||
// Combine with selection indicator
|
||||
const cursor = isSelected ? theme.fg("accent", "› ") : " ";
|
||||
const text = isSelected ? theme.bold(displayText) : displayText;
|
||||
const line = cursor + theme.fg("dim", connector) + text + suffix;
|
||||
|
||||
lines.push(line);
|
||||
}
|
||||
|
||||
// Add scroll and filter info
|
||||
const filterLabel =
|
||||
this.filterMode === "default" ? "" : this.filterMode === "user-only" ? " [user only]" : " [all]";
|
||||
const scrollInfo = theme.fg("muted", ` (${this.selectedIndex + 1}/${this.filteredNodes.length})${filterLabel}`);
|
||||
lines.push(scrollInfo);
|
||||
|
||||
return lines;
|
||||
}
|
||||
|
||||
private getEntryDisplayText(node: SessionTreeNode, maxWidth: number): string {
|
||||
const entry = node.entry;
|
||||
|
||||
switch (entry.type) {
|
||||
case "message": {
|
||||
const msg = entry.message;
|
||||
const role = msg.role;
|
||||
// Handle messages that have content property
|
||||
if (role === "user" || role === "assistant" || role === "toolResult") {
|
||||
const msgWithContent = msg as { content?: unknown };
|
||||
const content = this.extractContent(msgWithContent.content);
|
||||
const roleColor = role === "user" ? "accent" : role === "assistant" ? "success" : "muted";
|
||||
const roleLabel = theme.fg(roleColor, `${role}: `);
|
||||
const truncated = truncateToWidth(content.replace(/\n/g, " ").trim(), maxWidth - role.length - 2);
|
||||
return roleLabel + truncated;
|
||||
}
|
||||
// Handle special message types
|
||||
if (role === "bashExecution") {
|
||||
const bashMsg = msg as { command?: string };
|
||||
return theme.fg("dim", `[bash]: ${bashMsg.command ?? ""}`);
|
||||
}
|
||||
if (role === "compactionSummary" || role === "branchSummary" || role === "hookMessage") {
|
||||
return theme.fg("dim", `[${role}]`);
|
||||
}
|
||||
return theme.fg("dim", `[${role}]`);
|
||||
}
|
||||
case "custom_message": {
|
||||
const content =
|
||||
typeof entry.content === "string"
|
||||
? entry.content
|
||||
: entry.content
|
||||
.filter((c): c is { type: "text"; text: string } => c.type === "text")
|
||||
.map((c) => c.text)
|
||||
.join("");
|
||||
const label = theme.fg("customMessageLabel", `[${entry.customType}]: `);
|
||||
const truncated = truncateToWidth(
|
||||
content.replace(/\n/g, " ").trim(),
|
||||
maxWidth - entry.customType.length - 4,
|
||||
);
|
||||
return label + truncated;
|
||||
}
|
||||
case "compaction": {
|
||||
const tokens = Math.round(entry.tokensBefore / 1000);
|
||||
return theme.fg("borderAccent", `[compaction: ${tokens}k tokens]`);
|
||||
}
|
||||
case "branch_summary": {
|
||||
const truncated = truncateToWidth(entry.summary.replace(/\n/g, " ").trim(), maxWidth - 20);
|
||||
return theme.fg("warning", `[branch summary]: `) + truncated;
|
||||
}
|
||||
case "model_change": {
|
||||
return theme.fg("dim", `[model: ${entry.modelId}]`);
|
||||
}
|
||||
case "thinking_level_change": {
|
||||
return theme.fg("dim", `[thinking: ${entry.thinkingLevel}]`);
|
||||
}
|
||||
case "custom": {
|
||||
return theme.fg("dim", `[custom: ${entry.customType}]`);
|
||||
}
|
||||
case "label": {
|
||||
return theme.fg("dim", `[label: ${entry.label ?? "(cleared)"}]`);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
private extractContent(content: unknown): string {
|
||||
if (typeof content === "string") return content;
|
||||
if (Array.isArray(content)) {
|
||||
return content
|
||||
.filter((c) => typeof c === "object" && c !== null && "type" in c && c.type === "text")
|
||||
.map((c) => (c as { text: string }).text)
|
||||
.join("");
|
||||
}
|
||||
return "";
|
||||
}
|
||||
|
||||
handleInput(keyData: string): void {
|
||||
if (isArrowUp(keyData)) {
|
||||
this.selectedIndex = this.selectedIndex === 0 ? this.filteredNodes.length - 1 : this.selectedIndex - 1;
|
||||
} else if (isArrowDown(keyData)) {
|
||||
this.selectedIndex = this.selectedIndex === this.filteredNodes.length - 1 ? 0 : this.selectedIndex + 1;
|
||||
} else if (isEnter(keyData)) {
|
||||
const selected = this.filteredNodes[this.selectedIndex];
|
||||
if (selected && this.onSelect) {
|
||||
this.onSelect(selected.node.entry.id);
|
||||
}
|
||||
} else if (isEscape(keyData) || isCtrlC(keyData)) {
|
||||
this.onCancel?.();
|
||||
} else if (isCtrlU(keyData)) {
|
||||
// Toggle user-only filter
|
||||
this.filterMode = this.filterMode === "user-only" ? "default" : "user-only";
|
||||
this.applyFilter();
|
||||
} else if (isCtrlO(keyData)) {
|
||||
// Toggle show-all filter
|
||||
this.filterMode = this.filterMode === "all" ? "default" : "all";
|
||||
this.applyFilter();
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
/**
|
||||
* Component that renders a session tree selector for navigation
|
||||
*/
|
||||
export class TreeSelectorComponent extends Container {
|
||||
private treeList: TreeList;
|
||||
|
||||
constructor(
|
||||
tree: SessionTreeNode[],
|
||||
currentLeafId: string | null,
|
||||
terminalHeight: number,
|
||||
onSelect: (entryId: string) => void,
|
||||
onCancel: () => void,
|
||||
) {
|
||||
super();
|
||||
|
||||
// Cap at half terminal height
|
||||
const maxVisibleLines = Math.max(5, Math.floor(terminalHeight / 2));
|
||||
|
||||
// Add header
|
||||
this.addChild(new Spacer(1));
|
||||
this.addChild(new Text(theme.bold("Session Tree"), 1, 0));
|
||||
this.addChild(new Text(theme.fg("muted", "Navigate to a different point. Ctrl+U: user only, Ctrl+O: all"), 1, 0));
|
||||
this.addChild(new Spacer(1));
|
||||
this.addChild(new DynamicBorder());
|
||||
this.addChild(new Spacer(1));
|
||||
|
||||
// Create tree list
|
||||
this.treeList = new TreeList(tree, currentLeafId, maxVisibleLines);
|
||||
this.treeList.onSelect = onSelect;
|
||||
this.treeList.onCancel = onCancel;
|
||||
|
||||
this.addChild(this.treeList);
|
||||
|
||||
// Add bottom border
|
||||
this.addChild(new Spacer(1));
|
||||
this.addChild(new DynamicBorder());
|
||||
|
||||
// Auto-cancel if empty tree
|
||||
if (tree.length === 0) {
|
||||
setTimeout(() => onCancel(), 100);
|
||||
}
|
||||
}
|
||||
|
||||
getTreeList(): TreeList {
|
||||
return this.treeList;
|
||||
}
|
||||
}
|
||||
Loading…
Add table
Add a link
Reference in a new issue