@visual-z/xeno 0.2.1 → 0.4.0

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

@@ -1,44 +0,0 @@
-import { compositeTuiLine } from "../tui.ts";
-import { visibleWidth } from "../utils.ts";
-import { allocateStackSizes, Stack, type StackChild, type StackOptions, visibleStackEntries } from "./stack.ts";
-
-export class HStack extends Stack {
-	protected readonly layoutType = "hstack" as const;
-
-	constructor(children: StackChild[] = [], options: StackOptions = {}) {
-		super(children, options);
-	}
-
-	override render(width: number): string[] {
-		const safeWidth = Math.max(1, width);
-		const viewport = { width: safeWidth, height: Number.MAX_SAFE_INTEGER };
-		const entries = visibleStackEntries(this.entries, viewport);
-		if (entries.length === 0) return [];
-
-		const intrinsicWidths = entries.map((entry) => {
-			const lines = entry.component.render(safeWidth);
-			return lines.reduce((max, line) => Math.max(max, visibleWidth(line)), 0);
-		});
-		const widths = allocateStackSizes(entries, intrinsicWidths, safeWidth, this.gap);
-		const rendered = entries.map((entry, index) =>
-			widths[index] === 0 ? [] : entry.component.render(widths[index]!),
-		);
-		const height = rendered.reduce((max, lines) => Math.max(max, lines.length), 0);
-		const result = Array.from({ length: height }, () => "");
-		let x = 0;
-		for (let index = 0; index < rendered.length; index++) {
-			const lines = rendered[index]!;
-			const childWidth = widths[index]!;
-			let offset = 0;
-			if (this.align === "center") offset = Math.floor((height - lines.length) / 2);
-			else if (this.align === "end") offset = height - lines.length;
-			for (let row = 0; row < lines.length; row++) {
-				const target = row + offset;
-				if (target < 0 || target >= result.length) continue;
-				result[target] = compositeTuiLine(result[target]!, lines[row]!, x, childWidth, safeWidth);
-			}
-			x += childWidth + this.gap;
-		}
-		return result;
-	}
-}

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

@@ -1,127 +0,0 @@
-import {
-	allocateImageId,
-	getCapabilities,
-	getCellDimensions,
-	getImageDimensions,
-	type ImageDimensions,
-	imageFallback,
-	renderImage,
-} from "../terminal-image.ts";
-import type { Component } from "../tui.ts";
-import { truncateToWidth } from "../utils.ts";
-
-export interface ImageTheme {
-	fallbackColor: (str: string) => string;
-}
-
-export interface ImageOptions {
-	maxWidthCells?: number;
-	maxHeightCells?: number;
-	filename?: string;
-	/** Kitty image ID. If provided, reuses this ID (for animations/updates). */
-	imageId?: number;
-}
-
-export class Image implements Component {
-	private base64Data: string;
-	private mimeType: string;
-	private dimensions: ImageDimensions;
-	private theme: ImageTheme;
-	private options: ImageOptions;
-	private imageId?: number;
-
-	private cachedLines?: string[];
-	private cachedWidth?: number;
-
-	constructor(
-		base64Data: string,
-		mimeType: string,
-		theme: ImageTheme,
-		options: ImageOptions = {},
-		dimensions?: ImageDimensions,
-	) {
-		this.base64Data = base64Data;
-		this.mimeType = mimeType;
-		this.theme = theme;
-		this.options = options;
-		this.dimensions = dimensions || getImageDimensions(base64Data, mimeType) || { widthPx: 800, heightPx: 600 };
-		this.imageId = options.imageId;
-	}
-
-	/** Get the Kitty image ID used by this image (if any). */
-	getImageId(): number | undefined {
-		return this.imageId;
-	}
-
-	invalidate(): void {
-		this.cachedLines = undefined;
-		this.cachedWidth = undefined;
-	}
-
-	render(width: number): string[] {
-		if (this.cachedLines && this.cachedWidth === width) {
-			return this.cachedLines;
-		}
-
-		const maxWidth = Math.max(1, Math.min(width - 2, this.options.maxWidthCells ?? 60));
-		const cellDimensions = getCellDimensions();
-		const defaultMaxHeight = Math.max(1, Math.ceil((maxWidth * cellDimensions.widthPx) / cellDimensions.heightPx));
-		const maxHeight = this.options.maxHeightCells ?? defaultMaxHeight;
-
-		const caps = getCapabilities();
-		let lines: string[];
-
-		if (caps.images) {
-			if (caps.images === "kitty" && this.imageId === undefined) {
-				this.imageId = allocateImageId();
-			}
-			const result = renderImage(this.base64Data, this.dimensions, {
-				maxWidthCells: maxWidth,
-				maxHeightCells: maxHeight,
-				imageId: this.imageId,
-				moveCursor: false,
-			});
-
-			if (result) {
-				// Store the image ID for later cleanup
-				if (result.imageId) {
-					this.imageId = result.imageId;
-				}
-
-				if (caps.images === "kitty") {
-					// For Kitty: C=1 prevents cursor movement.
-					// Don't need the cursor movement.
-					lines = [result.sequence];
-
-					// Return `rows` lines so TUI accounts for image height.
-					for (let i = 0; i < result.rows - 1; i++) {
-						lines.push("");
-					}
-				} else {
-					// Return `rows` lines so TUI accounts for image height.
-					// First (rows-1) lines are empty and cleared before the image is drawn.
-					// Last line: move cursor back up, draw the image, then move back down
-					// so TUI cursor accounting stays inside the scroll area.
-					lines = [];
-					for (let i = 0; i < result.rows - 1; i++) {
-						lines.push("");
-					}
-					const rowOffset = result.rows - 1;
-					const moveUp = rowOffset > 0 ? `\x1b[${rowOffset}A` : "";
-					lines.push(moveUp + result.sequence);
-				}
-			} else {
-				const fallback = imageFallback(this.mimeType, this.dimensions, this.options.filename);
-				lines = [truncateToWidth(this.theme.fallbackColor(fallback), width)];
-			}
-		} else {
-			const fallback = imageFallback(this.mimeType, this.dimensions, this.options.filename);
-			lines = [truncateToWidth(this.theme.fallbackColor(fallback), width)];
-		}
-
-		this.cachedLines = lines;
-		this.cachedWidth = width;
-
-		return lines;
-	}
-}

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

@@ -1,494 +0,0 @@
-import { getKeybindings } from "../keybindings.ts";
-import { decodeKittyPrintable } from "../keys.ts";
-import { KillRing } from "../kill-ring.ts";
-import { type Component, CURSOR_MARKER, type Focusable, type TuiMouseEvent, type TuiMouseEventResult } from "../tui.ts";
-import { UndoStack } from "../undo-stack.ts";
-import { getGraphemeSegmenter, isWhitespaceChar, sliceByColumn, truncateToWidth, visibleWidth } from "../utils.ts";
-import { findWordBackward, findWordForward } from "../word-navigation.ts";
-
-const segmenter = getGraphemeSegmenter();
-
-interface InputState {
-	value: string;
-	cursor: number;
-}
-
-export interface InputOptions {
-	prompt?: string;
-	placeholder?: string;
-	placeholderStyle?: (text: string) => string;
-}
-
-/**
- * Input component - single-line text input with horizontal scrolling
- */
-export class Input implements Component, Focusable {
-	private value: string = "";
-	private cursor: number = 0; // Cursor position in the value
-	private readonly prompt: string;
-	private readonly placeholder: string;
-	private readonly placeholderStyle: (text: string) => string;
-	private renderedStartColumn = 0;
-	public onSubmit?: (value: string) => void;
-	public onEscape?: () => void;
-
-	/** Focusable interface - set by TUI when focus changes */
-	focused: boolean = false;
-
-	// Bracketed paste mode buffering
-	private pasteBuffer: string = "";
-	private isInPaste: boolean = false;
-
-	// Kill ring for Emacs-style kill/yank operations
-	private killRing = new KillRing();
-	private lastAction: "kill" | "yank" | "type-word" | null = null;
-
-	// Undo support
-	private undoStack = new UndoStack<InputState>();
-
-	constructor(options: InputOptions = {}) {
-		this.prompt = options.prompt ?? "> ";
-		this.placeholder = options.placeholder ?? "";
-		this.placeholderStyle = options.placeholderStyle ?? ((text) => text);
-	}
-
-	getValue(): string {
-		return this.value;
-	}
-
-	setValue(value: string): void {
-		this.value = value;
-		this.cursor = Math.min(this.cursor, value.length);
-	}
-
-	handleInput(data: string): void {
-		// Handle bracketed paste mode
-		// Start of paste: \x1b[200~
-		// End of paste: \x1b[201~
-
-		// Check if we're starting a bracketed paste
-		if (data.includes("\x1b[200~")) {
-			this.isInPaste = true;
-			this.pasteBuffer = "";
-			data = data.replace("\x1b[200~", "");
-		}
-
-		// If we're in a paste, buffer the data
-		if (this.isInPaste) {
-			// Check if this chunk contains the end marker
-			this.pasteBuffer += data;
-
-			const endIndex = this.pasteBuffer.indexOf("\x1b[201~");
-			if (endIndex !== -1) {
-				// Extract the pasted content
-				const pasteContent = this.pasteBuffer.substring(0, endIndex);
-
-				// Process the complete paste
-				this.handlePaste(pasteContent);
-
-				// Reset paste state
-				this.isInPaste = false;
-
-				// Handle any remaining input after the paste marker
-				const remaining = this.pasteBuffer.substring(endIndex + 6); // 6 = length of \x1b[201~
-				this.pasteBuffer = "";
-				if (remaining) {
-					this.handleInput(remaining);
-				}
-			}
-			return;
-		}
-
-		const kb = getKeybindings();
-
-		// Escape/Cancel
-		if (kb.matches(data, "tui.select.cancel")) {
-			if (this.onEscape) this.onEscape();
-			return;
-		}
-
-		// Undo
-		if (kb.matches(data, "tui.editor.undo")) {
-			this.undo();
-			return;
-		}
-
-		// Submit
-		if (kb.matches(data, "tui.input.submit") || data === "\n") {
-			if (this.onSubmit) this.onSubmit(this.value);
-			return;
-		}
-
-		// Deletion
-		if (kb.matches(data, "tui.editor.deleteCharBackward")) {
-			this.handleBackspace();
-			return;
-		}
-
-		if (kb.matches(data, "tui.editor.deleteCharForward")) {
-			this.handleForwardDelete();
-			return;
-		}
-
-		if (kb.matches(data, "tui.editor.deleteWordBackward")) {
-			this.deleteWordBackwards();
-			return;
-		}
-
-		if (kb.matches(data, "tui.editor.deleteWordForward")) {
-			this.deleteWordForward();
-			return;
-		}
-
-		if (kb.matches(data, "tui.editor.deleteToLineStart")) {
-			this.deleteToLineStart();
-			return;
-		}
-
-		if (kb.matches(data, "tui.editor.deleteToLineEnd")) {
-			this.deleteToLineEnd();
-			return;
-		}
-
-		// Kill ring actions
-		if (kb.matches(data, "tui.editor.yank")) {
-			this.yank();
-			return;
-		}
-		if (kb.matches(data, "tui.editor.yankPop")) {
-			this.yankPop();
-			return;
-		}
-
-		// Cursor movement
-		if (kb.matches(data, "tui.editor.cursorLeft")) {
-			this.lastAction = null;
-			if (this.cursor > 0) {
-				const beforeCursor = this.value.slice(0, this.cursor);
-				const graphemes = [...segmenter.segment(beforeCursor)];
-				const lastGrapheme = graphemes[graphemes.length - 1];
-				this.cursor -= lastGrapheme ? lastGrapheme.segment.length : 1;
-			}
-			return;
-		}
-
-		if (kb.matches(data, "tui.editor.cursorRight")) {
-			this.lastAction = null;
-			if (this.cursor < this.value.length) {
-				const afterCursor = this.value.slice(this.cursor);
-				const graphemes = [...segmenter.segment(afterCursor)];
-				const firstGrapheme = graphemes[0];
-				this.cursor += firstGrapheme ? firstGrapheme.segment.length : 1;
-			}
-			return;
-		}
-
-		if (kb.matches(data, "tui.editor.cursorLineStart")) {
-			this.lastAction = null;
-			this.cursor = 0;
-			return;
-		}
-
-		if (kb.matches(data, "tui.editor.cursorLineEnd")) {
-			this.lastAction = null;
-			this.cursor = this.value.length;
-			return;
-		}
-
-		if (kb.matches(data, "tui.editor.cursorWordLeft")) {
-			this.moveWordBackwards();
-			return;
-		}
-
-		if (kb.matches(data, "tui.editor.cursorWordRight")) {
-			this.moveWordForwards();
-			return;
-		}
-
-		// Kitty CSI-u printable character (e.g. \x1b[97u for 'a').
-		// Terminals with Kitty protocol flag 1 (disambiguate) send CSI-u for all keys,
-		// including plain printable characters. Decode before the control-char check
-		// since CSI-u sequences contain \x1b which would be rejected.
-		const kittyPrintable = decodeKittyPrintable(data);
-		if (kittyPrintable !== undefined) {
-			this.insertCharacter(kittyPrintable);
-			return;
-		}
-
-		// Regular character input - accept printable characters including Unicode,
-		// but reject control characters (C0: 0x00-0x1F, DEL: 0x7F, C1: 0x80-0x9F)
-		const hasControlChars = [...data].some((ch) => {
-			const code = ch.charCodeAt(0);
-			return code < 32 || code === 0x7f || (code >= 0x80 && code <= 0x9f);
-		});
-		if (!hasControlChars) {
-			this.insertCharacter(data);
-		}
-	}
-
-	handleMouse(event: TuiMouseEvent): TuiMouseEventResult | undefined {
-		if (event.type !== "press" || event.button !== "left" || event.y !== 0) return undefined;
-		const visibleColumn = Math.max(0, event.x - 2);
-		const targetColumn = this.renderedStartColumn + visibleColumn;
-		let currentColumn = 0;
-		this.cursor = this.value.length;
-		for (const grapheme of segmenter.segment(this.value)) {
-			const nextColumn = currentColumn + visibleWidth(grapheme.segment);
-			if (targetColumn < nextColumn) {
-				this.cursor = grapheme.index;
-				break;
-			}
-			currentColumn = nextColumn;
-		}
-		this.lastAction = null;
-		return { handled: true, focus: true };
-	}
-
-	private insertCharacter(char: string): void {
-		// Undo coalescing: consecutive word chars coalesce into one undo unit
-		if (isWhitespaceChar(char) || this.lastAction !== "type-word") {
-			this.pushUndo();
-		}
-		this.lastAction = "type-word";
-
-		this.value = this.value.slice(0, this.cursor) + char + this.value.slice(this.cursor);
-		this.cursor += char.length;
-	}
-
-	private handleBackspace(): void {
-		this.lastAction = null;
-		if (this.cursor > 0) {
-			this.pushUndo();
-			const beforeCursor = this.value.slice(0, this.cursor);
-			const graphemes = [...segmenter.segment(beforeCursor)];
-			const lastGrapheme = graphemes[graphemes.length - 1];
-			const graphemeLength = lastGrapheme ? lastGrapheme.segment.length : 1;
-			this.value = this.value.slice(0, this.cursor - graphemeLength) + this.value.slice(this.cursor);
-			this.cursor -= graphemeLength;
-		}
-	}
-
-	private handleForwardDelete(): void {
-		this.lastAction = null;
-		if (this.cursor < this.value.length) {
-			this.pushUndo();
-			const afterCursor = this.value.slice(this.cursor);
-			const graphemes = [...segmenter.segment(afterCursor)];
-			const firstGrapheme = graphemes[0];
-			const graphemeLength = firstGrapheme ? firstGrapheme.segment.length : 1;
-			this.value = this.value.slice(0, this.cursor) + this.value.slice(this.cursor + graphemeLength);
-		}
-	}
-
-	private deleteToLineStart(): void {
-		if (this.cursor === 0) return;
-		this.pushUndo();
-		const deletedText = this.value.slice(0, this.cursor);
-		this.killRing.push(deletedText, { prepend: true, accumulate: this.lastAction === "kill" });
-		this.lastAction = "kill";
-		this.value = this.value.slice(this.cursor);
-		this.cursor = 0;
-	}
-
-	private deleteToLineEnd(): void {
-		if (this.cursor >= this.value.length) return;
-		this.pushUndo();
-		const deletedText = this.value.slice(this.cursor);
-		this.killRing.push(deletedText, { prepend: false, accumulate: this.lastAction === "kill" });
-		this.lastAction = "kill";
-		this.value = this.value.slice(0, this.cursor);
-	}
-
-	private deleteWordBackwards(): void {
-		if (this.cursor === 0) return;
-
-		// Save lastAction before cursor movement (moveWordBackwards resets it)
-		const wasKill = this.lastAction === "kill";
-
-		this.pushUndo();
-
-		const oldCursor = this.cursor;
-		this.moveWordBackwards();
-		const deleteFrom = this.cursor;
-		this.cursor = oldCursor;
-
-		const deletedText = this.value.slice(deleteFrom, this.cursor);
-		this.killRing.push(deletedText, { prepend: true, accumulate: wasKill });
-		this.lastAction = "kill";
-
-		this.value = this.value.slice(0, deleteFrom) + this.value.slice(this.cursor);
-		this.cursor = deleteFrom;
-	}
-
-	private deleteWordForward(): void {
-		if (this.cursor >= this.value.length) return;
-
-		// Save lastAction before cursor movement (moveWordForwards resets it)
-		const wasKill = this.lastAction === "kill";
-
-		this.pushUndo();
-
-		const oldCursor = this.cursor;
-		this.moveWordForwards();
-		const deleteTo = this.cursor;
-		this.cursor = oldCursor;
-
-		const deletedText = this.value.slice(this.cursor, deleteTo);
-		this.killRing.push(deletedText, { prepend: false, accumulate: wasKill });
-		this.lastAction = "kill";
-
-		this.value = this.value.slice(0, this.cursor) + this.value.slice(deleteTo);
-	}
-
-	private yank(): void {
-		const text = this.killRing.peek();
-		if (!text) return;
-
-		this.pushUndo();
-
-		this.value = this.value.slice(0, this.cursor) + text + this.value.slice(this.cursor);
-		this.cursor += text.length;
-		this.lastAction = "yank";
-	}
-
-	private yankPop(): void {
-		if (this.lastAction !== "yank" || this.killRing.length <= 1) return;
-
-		this.pushUndo();
-
-		// Delete the previously yanked text (still at end of ring before rotation)
-		const prevText = this.killRing.peek() || "";
-		this.value = this.value.slice(0, this.cursor - prevText.length) + this.value.slice(this.cursor);
-		this.cursor -= prevText.length;
-
-		// Rotate and insert new entry
-		this.killRing.rotate();
-		const text = this.killRing.peek() || "";
-		this.value = this.value.slice(0, this.cursor) + text + this.value.slice(this.cursor);
-		this.cursor += text.length;
-		this.lastAction = "yank";
-	}
-
-	private pushUndo(): void {
-		this.undoStack.push({ value: this.value, cursor: this.cursor });
-	}
-
-	private undo(): void {
-		const snapshot = this.undoStack.pop();
-		if (!snapshot) return;
-		this.value = snapshot.value;
-		this.cursor = snapshot.cursor;
-		this.lastAction = null;
-	}
-
-	private moveWordBackwards(): void {
-		if (this.cursor === 0) return;
-		this.lastAction = null;
-		this.cursor = findWordBackward(this.value, this.cursor);
-	}
-
-	private moveWordForwards(): void {
-		if (this.cursor >= this.value.length) return;
-		this.lastAction = null;
-		this.cursor = findWordForward(this.value, this.cursor);
-	}
-
-	private handlePaste(pastedText: string): void {
-		this.lastAction = null;
-		this.pushUndo();
-
-		// Clean the pasted text - remove newlines and carriage returns
-		const cleanText = pastedText.replace(/\r\n/g, "").replace(/\r/g, "").replace(/\n/g, "").replace(/\t/g, "    ");
-
-		// Insert at cursor position
-		this.value = this.value.slice(0, this.cursor) + cleanText + this.value.slice(this.cursor);
-		this.cursor += cleanText.length;
-	}
-
-	invalidate(): void {
-		// No cached state to invalidate currently
-	}
-
-	render(width: number): string[] {
-		// Calculate visible window
-		const availableWidth = width - visibleWidth(this.prompt);
-
-		if (availableWidth <= 0) {
-			return [truncateToWidth(this.prompt, width, "")];
-		}
-
-		if (this.value.length === 0 && this.placeholder) {
-			const placeholder = truncateToWidth(this.placeholder, availableWidth, "");
-			const graphemes = [...segmenter.segment(placeholder)];
-			const atCursor = graphemes[0]?.segment ?? " ";
-			const afterCursor = placeholder.slice(atCursor.length);
-			const marker = this.focused ? CURSOR_MARKER : "";
-			const cursorChar = `\x1b[7m${this.placeholderStyle(atCursor)}\x1b[27m`;
-			const textWithCursor = marker + cursorChar + this.placeholderStyle(afterCursor);
-			const padding = " ".repeat(Math.max(0, availableWidth - visibleWidth(textWithCursor)));
-			return [this.prompt + textWithCursor + padding];
-		}
-
-		let visibleText = "";
-		let cursorDisplay = this.cursor;
-		this.renderedStartColumn = 0;
-		const totalWidth = visibleWidth(this.value);
-
-		if (totalWidth < availableWidth) {
-			// Everything fits (leave room for cursor at end)
-			visibleText = this.value;
-		} else {
-			// Need horizontal scrolling
-			// Reserve one column for cursor if it's at the end
-			const scrollWidth = this.cursor === this.value.length ? availableWidth - 1 : availableWidth;
-			const cursorCol = visibleWidth(this.value.slice(0, this.cursor));
-
-			if (scrollWidth > 0) {
-				const halfWidth = Math.floor(scrollWidth / 2);
-				let startCol = 0;
-
-				if (cursorCol < halfWidth) {
-					// Cursor near start
-					startCol = 0;
-				} else if (cursorCol > totalWidth - halfWidth) {
-					// Cursor near end
-					startCol = Math.max(0, totalWidth - scrollWidth);
-				} else {
-					// Cursor in middle
-					startCol = Math.max(0, cursorCol - halfWidth);
-				}
-
-				this.renderedStartColumn = startCol;
-				visibleText = sliceByColumn(this.value, startCol, scrollWidth, true);
-				const beforeCursor = sliceByColumn(this.value, startCol, Math.max(0, cursorCol - startCol), true);
-				cursorDisplay = beforeCursor.length;
-			} else {
-				visibleText = "";
-				cursorDisplay = 0;
-			}
-		}
-
-		// Build line with fake cursor
-		// Insert cursor character at cursor position
-		const graphemes = [...segmenter.segment(visibleText.slice(cursorDisplay))];
-		const cursorGrapheme = graphemes[0];
-
-		const beforeCursor = visibleText.slice(0, cursorDisplay);
-		const atCursor = cursorGrapheme?.segment ?? " "; // Character at cursor, or space if at end
-		const afterCursor = visibleText.slice(cursorDisplay + atCursor.length);
-
-		// Hardware cursor marker (zero-width, emitted before fake cursor for IME positioning)
-		const marker = this.focused ? CURSOR_MARKER : "";
-
-		// Use inverse video to show cursor
-		const cursorChar = `\x1b[7m${atCursor}\x1b[27m`; // ESC[7m = reverse video, ESC[27m = normal
-		const textWithCursor = beforeCursor + marker + cursorChar + afterCursor;
-
-		// Calculate visual width
-		const visualLength = visibleWidth(textWithCursor);
-		const padding = " ".repeat(Math.max(0, availableWidth - visualLength));
-		const line = this.prompt + textWithCursor + padding;
-
-		return [line];
-	}
-}