@visual-z/xeno 0.2.1 → 0.4.0

package/src/vendor/pi-tui/components/settings-list.ts

@@ -1,328 +0,0 @@
-import { fuzzyFilter } from "../fuzzy.ts";
-import { getKeybindings } from "../keybindings.ts";
-import type { Component, TuiMouseEvent, TuiMouseEventResult } from "../tui.ts";
-import { truncateToWidth, visibleWidth, wrapTextWithAnsi } from "../utils.ts";
-import { Input } from "./input.ts";
-
-export interface SettingItem {
-	/** Unique identifier for this setting */
-	id: string;
-	/** Display label (left side) */
-	label: string;
-	/** Optional description shown when selected */
-	description?: string;
-	/** Current value to display (right side) */
-	currentValue: string;
-	/** If provided, Enter/Space cycles through these values */
-	values?: string[];
-	/** If provided, Enter opens this submenu. Receives current value and done callback.
-	 *  done() accepts an optional selectedValue and an optional navigateTo id to move the cursor after close. */
-	submenu?: (
-		currentValue: string,
-		done: (selectedValue?: string, options?: { navigateTo?: string }) => void,
-	) => Component;
-}
-
-export interface SettingsListTheme {
-	label: (text: string, selected: boolean) => string;
-	value: (text: string, selected: boolean) => string;
-	description: (text: string) => string;
-	cursor: string;
-	hint: (text: string) => string;
-}
-
-export interface SettingsListOptions {
-	enableSearch?: boolean;
-}
-
-export class SettingsList implements Component {
-	private items: SettingItem[];
-	private filteredItems: SettingItem[];
-	private theme: SettingsListTheme;
-	private selectedIndex = 0;
-	private mousePressedIndex: number | undefined;
-	private maxVisible: number;
-	private onChange: (id: string, newValue: string) => void;
-	private onCancel: () => void;
-	private searchInput?: Input;
-	private searchEnabled: boolean;
-
-	// Submenu state
-	private submenuComponent: Component | null = null;
-	private submenuItemIndex: number | null = null;
-	private navigateAfterClose: string | null = null;
-
-	constructor(
-		items: SettingItem[],
-		maxVisible: number,
-		theme: SettingsListTheme,
-		onChange: (id: string, newValue: string) => void,
-		onCancel: () => void,
-		options: SettingsListOptions = {},
-	) {
-		this.items = items;
-		this.filteredItems = items;
-		this.maxVisible = maxVisible;
-		this.theme = theme;
-		this.onChange = onChange;
-		this.onCancel = onCancel;
-		this.searchEnabled = options.enableSearch ?? false;
-		if (this.searchEnabled) {
-			this.searchInput = new Input();
-		}
-	}
-
-	/** Update an item's currentValue */
-	updateValue(id: string, newValue: string): void {
-		const item = this.items.find((i) => i.id === id);
-		if (item) {
-			item.currentValue = newValue;
-		}
-	}
-
-	/** Move selection to the item with the given id (no-op if not found). */
-	selectItem(id: string): void {
-		const items = this.searchEnabled ? this.filteredItems : this.items;
-		const index = items.findIndex((i) => i.id === id);
-		if (index !== -1) {
-			this.selectedIndex = index;
-		}
-	}
-
-	invalidate(): void {
-		this.submenuComponent?.invalidate?.();
-	}
-
-	render(width: number): string[] {
-		// If submenu is active, render it instead
-		if (this.submenuComponent) {
-			return this.submenuComponent.render(width);
-		}
-
-		return this.renderMainList(width);
-	}
-
-	private renderMainList(width: number): string[] {
-		const lines: string[] = [];
-
-		if (this.searchEnabled && this.searchInput) {
-			lines.push(...this.searchInput.render(width));
-			lines.push("");
-		}
-
-		if (this.items.length === 0) {
-			lines.push(this.theme.hint("  No settings available"));
-			if (this.searchEnabled) {
-				this.addHintLine(lines, width);
-			}
-			return lines;
-		}
-
-		const displayItems = this.getDisplayItems();
-		if (displayItems.length === 0) {
-			lines.push(truncateToWidth(this.theme.hint("  No matching settings"), width));
-			this.addHintLine(lines, width);
-			return lines;
-		}
-
-		// Calculate visible range with scrolling
-		const { startIndex, endIndex } = this.getVisibleRange(displayItems);
-
-		// Calculate max label width for alignment
-		const maxLabelWidth = Math.min(36, Math.max(...this.items.map((item) => visibleWidth(item.label))));
-
-		// Render visible items
-		for (let i = startIndex; i < endIndex; i++) {
-			const item = displayItems[i];
-			if (!item) continue;
-
-			const isSelected = i === this.selectedIndex;
-			const prefix = isSelected ? this.theme.cursor : "  ";
-			const prefixWidth = visibleWidth(prefix);
-
-			// Pad label to align values
-			const labelPadded = item.label + " ".repeat(Math.max(0, maxLabelWidth - visibleWidth(item.label)));
-			const labelText = this.theme.label(labelPadded, isSelected);
-
-			// Calculate space for value
-			const separator = "  ";
-			const usedWidth = prefixWidth + maxLabelWidth + visibleWidth(separator);
-			const valueMaxWidth = width - usedWidth - 2;
-
-			const valueText = this.theme.value(truncateToWidth(item.currentValue, valueMaxWidth, ""), isSelected);
-
-			lines.push(truncateToWidth(prefix + labelText + separator + valueText, width));
-		}
-
-		// Add scroll indicator if needed
-		if (startIndex > 0 || endIndex < displayItems.length) {
-			const scrollText = `  (${this.selectedIndex + 1}/${displayItems.length})`;
-			lines.push(this.theme.hint(truncateToWidth(scrollText, width - 2, "")));
-		}
-
-		// Add description for selected item
-		const selectedItem = displayItems[this.selectedIndex];
-		if (selectedItem?.description) {
-			lines.push("");
-			const wrappedDesc = wrapTextWithAnsi(selectedItem.description, width - 4);
-			for (const line of wrappedDesc) {
-				lines.push(this.theme.description(`  ${line}`));
-			}
-		}
-
-		// Add hint
-		this.addHintLine(lines, width);
-
-		return lines;
-	}
-
-	handleMouse(event: TuiMouseEvent): TuiMouseEventResult | undefined {
-		if (this.submenuComponent) {
-			const result = this.submenuComponent.handleMouse?.(event);
-			return result ? { ...result, focus: true } : undefined;
-		}
-
-		if (this.searchEnabled && this.searchInput) {
-			if (event.y === 0) {
-				const result = this.searchInput.handleMouse?.(event);
-				return result ? { ...result, focus: true } : undefined;
-			}
-			if (event.y === 1) return undefined;
-		}
-
-		const displayItems = this.getDisplayItems();
-		if (displayItems.length === 0) return undefined;
-		if (event.type === "wheel" && event.wheelDelta) {
-			const delta = event.wheelDelta < 0 ? -1 : 1;
-			const previousIndex = this.selectedIndex;
-			this.selectedIndex = Math.max(0, Math.min(displayItems.length - 1, this.selectedIndex + delta));
-			return { handled: true, render: this.selectedIndex !== previousIndex };
-		}
-		// Hover must not change selection: the visible range is centered on it.
-		if (event.button !== "left" || (event.type !== "press" && event.type !== "click")) return undefined;
-
-		const rowOffset = this.searchEnabled ? 2 : 0;
-		const { startIndex, endIndex } = this.getVisibleRange(displayItems);
-		const itemIndex = startIndex + event.y - rowOffset;
-		if (itemIndex < startIndex || itemIndex >= endIndex) return undefined;
-		if (event.type === "press") {
-			this.mousePressedIndex = itemIndex;
-			this.selectedIndex = itemIndex;
-			return { handled: true, focus: true };
-		}
-		if (event.type === "click") {
-			this.selectedIndex = this.mousePressedIndex ?? itemIndex;
-			this.mousePressedIndex = undefined;
-			this.activateItem();
-			return { handled: true };
-		}
-		return undefined;
-	}
-
-	handleInput(data: string): void {
-		// If submenu is active, delegate all input to it
-		// The submenu's onCancel (triggered by escape) will call done() which closes it
-		if (this.submenuComponent) {
-			this.submenuComponent.handleInput?.(data);
-			return;
-		}
-
-		// Main list input handling
-		const kb = getKeybindings();
-		const displayItems = this.getDisplayItems();
-		if (kb.matches(data, "tui.select.up")) {
-			if (displayItems.length === 0) return;
-			this.selectedIndex = this.selectedIndex === 0 ? displayItems.length - 1 : this.selectedIndex - 1;
-		} else if (kb.matches(data, "tui.select.down")) {
-			if (displayItems.length === 0) return;
-			this.selectedIndex = this.selectedIndex === displayItems.length - 1 ? 0 : this.selectedIndex + 1;
-		} else if (
-			kb.matches(data, "tui.select.confirm") ||
-			(data === " " && (!this.searchEnabled || this.searchInput?.getValue().length === 0))
-		) {
-			this.activateItem();
-		} else if (kb.matches(data, "tui.select.cancel")) {
-			this.onCancel();
-		} else if (this.searchEnabled && this.searchInput) {
-			this.searchInput.handleInput(data);
-			this.applyFilter(this.searchInput.getValue());
-		}
-	}
-
-	private getDisplayItems(): SettingItem[] {
-		return this.searchEnabled ? this.filteredItems : this.items;
-	}
-
-	private getVisibleRange(displayItems: readonly SettingItem[]): { startIndex: number; endIndex: number } {
-		const startIndex = Math.max(
-			0,
-			Math.min(this.selectedIndex - Math.floor(this.maxVisible / 2), displayItems.length - this.maxVisible),
-		);
-		return { startIndex, endIndex: Math.min(startIndex + this.maxVisible, displayItems.length) };
-	}
-
-	private activateItem(): void {
-		const item = this.getDisplayItems()[this.selectedIndex];
-		if (!item) return;
-
-		if (item.submenu) {
-			// Open submenu, passing current value so it can pre-select correctly
-			this.submenuItemIndex = this.selectedIndex;
-			this.submenuComponent = item.submenu(
-				item.currentValue,
-				(selectedValue?: string, options?: { navigateTo?: string }) => {
-					if (selectedValue !== undefined) {
-						item.currentValue = selectedValue;
-						this.onChange(item.id, selectedValue);
-					}
-					if (options?.navigateTo) {
-						this.navigateAfterClose = options.navigateTo;
-					}
-					this.closeSubmenu();
-				},
-			);
-		} else if (item.values && item.values.length > 0) {
-			// Cycle through values
-			const currentIndex = item.values.indexOf(item.currentValue);
-			const nextIndex = (currentIndex + 1) % item.values.length;
-			const newValue = item.values[nextIndex];
-			item.currentValue = newValue;
-			this.onChange(item.id, newValue);
-		}
-	}
-
-	private closeSubmenu(): void {
-		this.submenuComponent = null;
-		if (this.navigateAfterClose !== null) {
-			const id = this.navigateAfterClose;
-			this.navigateAfterClose = null;
-			this.submenuItemIndex = null;
-			this.selectItem(id);
-			// Open the target item's submenu automatically
-			this.activateItem();
-		} else if (this.submenuItemIndex !== null) {
-			// Restore selection to the item that opened the submenu
-			this.selectedIndex = this.submenuItemIndex;
-			this.submenuItemIndex = null;
-		}
-	}
-
-	private applyFilter(query: string): void {
-		this.filteredItems = fuzzyFilter(this.items, query, (item) => item.label);
-		this.selectedIndex = 0;
-	}
-
-	private addHintLine(lines: string[], width: number): void {
-		lines.push("");
-		lines.push(
-			truncateToWidth(
-				this.theme.hint(
-					this.searchEnabled
-						? "  Type to search · Enter/Space to change · Esc to cancel"
-						: "  Enter/Space to change · Esc to cancel",
-				),
-				width,
-			),
-		);
-	}
-}

package/src/vendor/pi-tui/components/spacer.ts

@@ -1,28 +0,0 @@
-import type { Component } from "../tui.ts";
-
-/**
- * Spacer component that renders empty lines
- */
-export class Spacer implements Component {
-	private lines: number;
-
-	constructor(lines: number = 1) {
-		this.lines = lines;
-	}
-
-	setLines(lines: number): void {
-		this.lines = lines;
-	}
-
-	invalidate(): void {
-		// No cached state to invalidate currently
-	}
-
-	render(_width: number): string[] {
-		const result: string[] = [];
-		for (let i = 0; i < this.lines; i++) {
-			result.push("");
-		}
-		return result;
-	}
-}

package/src/vendor/pi-tui/components/stack.ts

@@ -1,154 +0,0 @@
-import { LAYOUT_NODE, type LayoutViewport, type StackLayoutEntry, type StackLayoutNode } from "../layout-node.ts";
-import { type Component, Container } from "../tui.ts";
-
-export interface StackEntryOptions {
-	basis?: number | "auto";
-	grow?: number;
-	shrink?: number;
-	minSize?: number;
-	maxSize?: number;
-	visible?: (viewport: LayoutViewport) => boolean;
-}
-
-export interface StackEntry extends StackEntryOptions {
-	component: Component;
-}
-
-export type StackChild = Component | StackEntry;
-
-export interface StackOptions {
-	gap?: number;
-	align?: "stretch" | "start" | "center" | "end";
-}
-
-function isStackEntry(child: StackChild): child is StackEntry {
-	return !("render" in child);
-}
-
-function normalizeSize(value: number | undefined, fallback: number): number {
-	return value === undefined || !Number.isFinite(value) ? fallback : Math.max(0, Math.floor(value));
-}
-
-export abstract class Stack extends Container {
-	protected readonly entries: StackLayoutEntry[] = [];
-	protected readonly gap: number;
-	protected readonly align: "stretch" | "start" | "center" | "end";
-	protected abstract readonly layoutType: "vstack" | "hstack";
-
-	constructor(children: StackChild[] = [], options: StackOptions = {}) {
-		super();
-		this.gap = normalizeSize(options.gap, 0);
-		this.align = options.align ?? "stretch";
-		for (const child of children) {
-			if (isStackEntry(child)) this.addChild(child.component, child);
-			else this.addChild(child);
-		}
-	}
-
-	override addChild(component: Component, options: StackEntryOptions = {}): void {
-		super.addChild(component);
-		this.entries.push({
-			component,
-			...(options.basis === undefined ? {} : { basis: options.basis }),
-			...(options.grow === undefined ? {} : { grow: normalizeSize(options.grow, 0) }),
-			...(options.shrink === undefined ? {} : { shrink: normalizeSize(options.shrink, 1) }),
-			...(options.minSize === undefined ? {} : { minSize: normalizeSize(options.minSize, 0) }),
-			...(options.maxSize === undefined ? {} : { maxSize: normalizeSize(options.maxSize, Number.MAX_SAFE_INTEGER) }),
-			...(options.visible === undefined ? {} : { visible: options.visible }),
-		});
-	}
-
-	override removeChild(component: Component): void {
-		super.removeChild(component);
-		const index = this.entries.findIndex((entry) => entry.component === component);
-		if (index !== -1) this.entries.splice(index, 1);
-	}
-
-	override clear(): void {
-		super.clear();
-		this.entries.length = 0;
-	}
-
-	[LAYOUT_NODE](): StackLayoutNode {
-		return {
-			type: this.layoutType,
-			entries: this.entries,
-			gap: this.gap,
-			align: this.align,
-		};
-	}
-}
-
-export function visibleStackEntries(
-	entries: readonly StackLayoutEntry[],
-	viewport: LayoutViewport,
-): StackLayoutEntry[] {
-	return entries.filter((entry) => entry.visible?.(viewport) ?? true);
-}
-
-function clampSize(size: number, entry: StackLayoutEntry): number {
-	const min = Math.max(0, Math.floor(entry.minSize ?? 0));
-	const max = Math.max(min, Math.floor(entry.maxSize ?? Number.MAX_SAFE_INTEGER));
-	return Math.max(min, Math.min(max, Math.max(0, Math.floor(size))));
-}
-
-function distribute(
-	sizes: number[],
-	entries: readonly StackLayoutEntry[],
-	amount: number,
-	mode: "grow" | "shrink",
-): void {
-	let remaining = amount;
-	while (remaining > 0) {
-		const candidates = entries
-			.map((entry, index) => ({ entry, index }))
-			.filter(({ entry, index }) => {
-				if (mode === "grow") {
-					return (entry.grow ?? 0) > 0 && sizes[index]! < (entry.maxSize ?? Number.MAX_SAFE_INTEGER);
-				}
-				return (entry.shrink ?? 1) > 0 && sizes[index]! > (entry.minSize ?? 0);
-			});
-		if (candidates.length === 0) return;
-
-		const totalWeight = candidates.reduce((sum, { entry, index }) => {
-			return sum + (mode === "grow" ? (entry.grow ?? 0) : (entry.shrink ?? 1) * Math.max(1, sizes[index]!));
-		}, 0);
-		let distributed = 0;
-		for (const { entry, index } of candidates) {
-			if (remaining <= 0) break;
-			const weight = mode === "grow" ? (entry.grow ?? 0) : (entry.shrink ?? 1) * Math.max(1, sizes[index]!);
-			const proposed = Math.max(1, Math.floor((remaining * weight) / totalWeight));
-			const capacity =
-				mode === "grow"
-					? (entry.maxSize ?? Number.MAX_SAFE_INTEGER) - sizes[index]!
-					: sizes[index]! - (entry.minSize ?? 0);
-			const delta = Math.min(remaining, proposed, capacity);
-			if (delta <= 0) continue;
-			sizes[index] = sizes[index]! + (mode === "grow" ? delta : -delta);
-			remaining -= delta;
-			distributed += delta;
-		}
-		if (distributed === 0) return;
-	}
-}
-
-export function allocateStackSizes(
-	entries: readonly StackLayoutEntry[],
-	intrinsicSizes: readonly number[],
-	availableSize: number | undefined,
-	gap: number,
-): number[] {
-	const sizes = entries.map((entry, index) =>
-		clampSize(
-			entry.basis === undefined || entry.basis === "auto" ? (intrinsicSizes[index] ?? 0) : entry.basis,
-			entry,
-		),
-	);
-	if (availableSize === undefined) return sizes;
-
-	const contentSize = Math.max(0, Math.floor(availableSize) - Math.max(0, entries.length - 1) * gap);
-	const total = sizes.reduce((sum, size) => sum + size, 0);
-	if (total < contentSize) distribute(sizes, entries, contentSize - total, "grow");
-	else if (total > contentSize) distribute(sizes, entries, total - contentSize, "shrink");
-	return sizes;
-}

package/src/vendor/pi-tui/components/text.ts

@@ -1,107 +0,0 @@
-import type { Component } from "../tui.ts";
-import { applyBackgroundToLine, visibleWidth, wrapTextWithAnsi } from "../utils.ts";
-
-/**
- * Text component - displays multi-line text with word wrapping
- */
-export class Text implements Component {
-	private text: string;
-	private paddingX: number; // Left/right padding
-	private paddingY: number; // Top/bottom padding
-	private customBgFn?: (text: string) => string;
-
-	// Cache for rendered output
-	private cachedText?: string;
-	private cachedWidth?: number;
-	private cachedLines?: string[];
-
-	constructor(text: string = "", paddingX: number = 1, paddingY: number = 1, customBgFn?: (text: string) => string) {
-		this.text = text;
-		this.paddingX = paddingX;
-		this.paddingY = paddingY;
-		this.customBgFn = customBgFn;
-	}
-
-	setText(text: string): void {
-		this.text = text;
-		this.cachedText = undefined;
-		this.cachedWidth = undefined;
-		this.cachedLines = undefined;
-	}
-
-	setCustomBgFn(customBgFn?: (text: string) => string): void {
-		this.customBgFn = customBgFn;
-		this.cachedText = undefined;
-		this.cachedWidth = undefined;
-		this.cachedLines = undefined;
-	}
-
-	invalidate(): void {
-		this.cachedText = undefined;
-		this.cachedWidth = undefined;
-		this.cachedLines = undefined;
-	}
-
-	render(width: number): string[] {
-		// Check cache
-		if (this.cachedLines && this.cachedText === this.text && this.cachedWidth === width) {
-			return this.cachedLines;
-		}
-
-		// Don't render anything if there's no actual text
-		if (!this.text || this.text.trim() === "") {
-			const result: string[] = [];
-			this.cachedText = this.text;
-			this.cachedWidth = width;
-			this.cachedLines = result;
-			return result;
-		}
-
-		// Replace tabs with 3 spaces
-		const normalizedText = this.text.replace(/\t/g, "   ");
-
-		// Reduce margins when necessary so content and padding fit within the available width.
-		const paddingX = Math.min(this.paddingX, Math.max(0, Math.floor((width - 1) / 2)));
-		const contentWidth = Math.max(1, width - paddingX * 2);
-
-		// Wrap text (this preserves ANSI codes but does NOT pad)
-		const wrappedLines = wrapTextWithAnsi(normalizedText, contentWidth);
-
-		// Add margins and background to each line
-		const leftMargin = " ".repeat(paddingX);
-		const rightMargin = " ".repeat(paddingX);
-		const contentLines: string[] = [];
-
-		for (const line of wrappedLines) {
-			// Add margins
-			const lineWithMargins = leftMargin + line + rightMargin;
-
-			// Apply background if specified (this also pads to full width)
-			if (this.customBgFn) {
-				contentLines.push(applyBackgroundToLine(lineWithMargins, width, this.customBgFn));
-			} else {
-				// No background - just pad to width with spaces
-				const visibleLen = visibleWidth(lineWithMargins);
-				const paddingNeeded = Math.max(0, width - visibleLen);
-				contentLines.push(lineWithMargins + " ".repeat(paddingNeeded));
-			}
-		}
-
-		// Add top/bottom padding (empty lines)
-		const emptyLine = " ".repeat(width);
-		const emptyLines: string[] = [];
-		for (let i = 0; i < this.paddingY; i++) {
-			const line = this.customBgFn ? applyBackgroundToLine(emptyLine, width, this.customBgFn) : emptyLine;
-			emptyLines.push(line);
-		}
-
-		const result = [...emptyLines, ...contentLines, ...emptyLines];
-
-		// Update cache
-		this.cachedText = this.text;
-		this.cachedWidth = width;
-		this.cachedLines = result;
-
-		return result.length > 0 ? result : [""];
-	}
-}

package/src/vendor/pi-tui/components/truncated-text.ts

@@ -1,65 +0,0 @@
-import type { Component } from "../tui.ts";
-import { truncateToWidth, visibleWidth } from "../utils.ts";
-
-/**
- * Text component that truncates to fit viewport width
- */
-export class TruncatedText implements Component {
-	private text: string;
-	private paddingX: number;
-	private paddingY: number;
-
-	constructor(text: string, paddingX: number = 0, paddingY: number = 0) {
-		this.text = text;
-		this.paddingX = paddingX;
-		this.paddingY = paddingY;
-	}
-
-	invalidate(): void {
-		// No cached state to invalidate currently
-	}
-
-	render(width: number): string[] {
-		const result: string[] = [];
-
-		// Empty line padded to width
-		const emptyLine = " ".repeat(width);
-
-		// Add vertical padding above
-		for (let i = 0; i < this.paddingY; i++) {
-			result.push(emptyLine);
-		}
-
-		// Calculate available width after horizontal padding
-		const availableWidth = Math.max(1, width - this.paddingX * 2);
-
-		// Take only the first line (stop at newline)
-		let singleLineText = this.text;
-		const newlineIndex = this.text.indexOf("\n");
-		if (newlineIndex !== -1) {
-			singleLineText = this.text.substring(0, newlineIndex);
-		}
-
-		// Truncate text if needed (accounting for ANSI codes)
-		const displayText = truncateToWidth(singleLineText, availableWidth);
-
-		// Add horizontal padding
-		const leftPadding = " ".repeat(this.paddingX);
-		const rightPadding = " ".repeat(this.paddingX);
-		const lineWithPadding = leftPadding + displayText + rightPadding;
-
-		// Pad line to exactly width characters
-		const lineVisibleWidth = visibleWidth(lineWithPadding);
-		const paddingNeeded = Math.max(0, width - lineVisibleWidth);
-		const finalLine = lineWithPadding + " ".repeat(paddingNeeded);
-
-		result.push(finalLine);
-
-		// Add vertical padding below
-		for (let i = 0; i < this.paddingY; i++) {
-			result.push(emptyLine);
-		}
-
-		return result;
-	}
-}