praxis-agent 0.21.0 → 0.21.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
@@ -789,16 +789,19 @@ export function SessionPicker({ sessions, selectedIndex, screenReader, query = '
|
|
|
789
789
|
}
|
|
790
790
|
export function CommandPalette({ commands, selectedIndex, width, screenReader, }) {
|
|
791
791
|
const palette = useTuiPalette();
|
|
792
|
+
const paletteWidth = Math.max(1, Math.min(100, width));
|
|
793
|
+
const nameWidth = Math.min(30, paletteWidth);
|
|
794
|
+
const descriptionWidth = Math.max(0, paletteWidth - nameWidth);
|
|
792
795
|
const maxVisible = 12;
|
|
793
796
|
const start = Math.max(0, Math.min(selectedIndex - Math.floor(maxVisible / 2), Math.max(0, commands.length - maxVisible)));
|
|
794
797
|
const visible = commands.slice(start, start + maxVisible);
|
|
795
798
|
if (screenReader) {
|
|
796
799
|
return (_jsxs(Box, { flexDirection: "column", children: [_jsx(Text, { children: "Commands" }), visible.length === 0 ? (_jsx(Text, { children: "No matching commands." })) : (visible.map((command) => (_jsxs(Text, { children: ["/", command.name, ": ", command.description] }, command.name))))] }));
|
|
797
800
|
}
|
|
798
|
-
return (_jsx(Box, { flexDirection: "column", width:
|
|
801
|
+
return (_jsx(Box, { flexDirection: "column", width: paletteWidth, children: visible.length === 0 ? (_jsx(Text, { dimColor: true, children: "No matching commands." })) : (visible.map((command, visibleIndex) => {
|
|
799
802
|
const index = start + visibleIndex;
|
|
800
803
|
const selected = index === selectedIndex;
|
|
801
|
-
return (_jsxs(Box, { flexDirection: "row", children: [_jsx(Box, { width:
|
|
804
|
+
return (_jsxs(Box, { flexDirection: "row", width: paletteWidth, children: [_jsx(Box, { width: nameWidth, flexShrink: 0, children: _jsxs(Text, { wrap: "truncate-end", ...(selected ? { color: palette.brand, bold: true } : {}), children: ["/", command.name] }) }), _jsx(Box, { width: descriptionWidth, flexShrink: 1, children: _jsx(Text, { dimColor: true, wrap: "truncate-end", children: command.description }) })] }, command.name));
|
|
802
805
|
})) }));
|
|
803
806
|
}
|
|
804
807
|
export function FilePicker({ entries, selectedIndex, width, screenReader, }) {
|