rovecode 0.3.3 → 0.4.0-beta.3

package/vendor/pi-tui/src/components/scroll-view.ts

@@ -1,217 +0,0 @@
-// @ts-nocheck -- vendored by rovecode: upstream-checked at pinned SHA 853a80d2; see ../PATCHES.md
-import { LAYOUT_NODE, type ScrollLayoutNode } from "../layout-node.ts";
-import { type Component, Container } from "../tui.ts";
-
-export type ScrollViewScrollbar = "hidden" | "auto" | "always";
-
-export interface ScrollViewOptions {
-	axis?: "vertical";
-	follow?: "none" | "end";
-	primary?: boolean;
-	overscroll?: "chain" | "contain";
-	scrollbar?: ScrollViewScrollbar;
-	scrollbarStyle?: (text: string) => string;
-	scrollbarHideDelayMs?: number;
-}
-
-export interface ScrollViewScrollToOptions {
-	/** Keep follow-end disabled even when the target is the current content end. */
-	disableFollow?: boolean;
-}
-
-export class ScrollView extends Container {
-	private readonly child: Component;
-	private readonly followEnd: boolean;
-	readonly primary: boolean;
-	readonly overscroll: "chain" | "contain";
-	readonly scrollbarStyle: (text: string) => string;
-	private currentScrollbar: ScrollViewScrollbar;
-	private readonly scrollbarHideDelayMs: number;
-	private currentScrollTop = 0;
-	private contentHeight = 0;
-	private currentViewportHeight = 0;
-	private followingEnd: boolean;
-	private followSuppressedAtEnd = false;
-	private requestRenderCallback: (() => void) | undefined;
-	private transientScrollbarVisible = false;
-	private scrollbarActive = false;
-	private scrollbarHideTimer: NodeJS.Timeout | undefined;
-
-	constructor(component: Component, options: ScrollViewOptions = {}) {
-		super();
-		if (options.axis !== undefined && options.axis !== "vertical") {
-			throw new Error(`Unsupported ScrollView axis: ${options.axis}`);
-		}
-		this.child = component;
-		this.children.push(component);
-		this.followEnd = (options.follow ?? "none") === "end";
-		this.followingEnd = this.followEnd;
-		this.primary = options.primary ?? false;
-		this.overscroll = options.overscroll ?? "chain";
-		this.currentScrollbar = options.scrollbar ?? "hidden";
-		this.scrollbarStyle = options.scrollbarStyle ?? ((text) => `\x1b[100m${text}\x1b[49m`);
-		this.scrollbarHideDelayMs = Math.max(0, Math.floor(options.scrollbarHideDelayMs ?? 1000));
-	}
-
-	get scrollTop(): number {
-		return this.currentScrollTop;
-	}
-
-	get isFollowingEnd(): boolean {
-		return this.followingEnd;
-	}
-
-	get viewportHeight(): number {
-		return this.currentViewportHeight;
-	}
-
-	get scrollbar(): ScrollViewScrollbar {
-		return this.currentScrollbar;
-	}
-
-	get isScrollbarVisible(): boolean {
-		if (this.scrollbar === "always") return this.currentViewportHeight > 0;
-		return (
-			this.scrollbar === "auto" && this.contentHeight > this.currentViewportHeight && this.transientScrollbarVisible
-		);
-	}
-
-	setScrollbar(scrollbar: ScrollViewScrollbar): void {
-		if (scrollbar === this.currentScrollbar) return;
-		this.currentScrollbar = scrollbar;
-		if (scrollbar !== "auto") this.hideTransientScrollbar();
-		else if (this.scrollbarActive) this.markScrollbarActivity();
-		this.requestRenderCallback?.();
-	}
-
-	getContentWidth(width: number): number {
-		return this.scrollbar === "always" && width > 1 ? width - 1 : width;
-	}
-
-	private markScrollbarActivity(): void {
-		if (this.scrollbar !== "auto" || this.contentHeight <= this.currentViewportHeight) return;
-		this.transientScrollbarVisible = true;
-		if (this.scrollbarHideTimer) {
-			clearTimeout(this.scrollbarHideTimer);
-			this.scrollbarHideTimer = undefined;
-		}
-		if (this.scrollbarActive) return;
-		this.scrollbarHideTimer = setTimeout(() => {
-			this.scrollbarHideTimer = undefined;
-			this.transientScrollbarVisible = false;
-			this.requestRenderCallback?.();
-		}, this.scrollbarHideDelayMs);
-		this.scrollbarHideTimer.unref();
-	}
-
-	private hideTransientScrollbar(): void {
-		this.transientScrollbarVisible = false;
-		if (!this.scrollbarHideTimer) return;
-		clearTimeout(this.scrollbarHideTimer);
-		this.scrollbarHideTimer = undefined;
-	}
-
-	setScrollbarActive(active: boolean): void {
-		if (active === this.scrollbarActive) return;
-		this.scrollbarActive = active;
-		this.markScrollbarActivity();
-	}
-
-	scrollTo(scrollTop: number, options: ScrollViewScrollToOptions = {}): void {
-		const requested = Number.isFinite(scrollTop) ? Math.trunc(scrollTop) : this.currentScrollTop;
-		const maxScrollTop = Math.max(0, this.contentHeight - this.currentViewportHeight);
-		const next = Math.max(0, Math.min(maxScrollTop, requested));
-		const nextFollowSuppressedAtEnd = options.disableFollow === true && next === maxScrollTop;
-		const nextFollowingEnd = !nextFollowSuppressedAtEnd && this.followEnd && next === maxScrollTop;
-		if (
-			next === this.currentScrollTop &&
-			nextFollowingEnd === this.followingEnd &&
-			nextFollowSuppressedAtEnd === this.followSuppressedAtEnd
-		) {
-			return;
-		}
-		const moved = next !== this.currentScrollTop;
-		this.currentScrollTop = next;
-		this.followingEnd = nextFollowingEnd;
-		this.followSuppressedAtEnd = nextFollowSuppressedAtEnd;
-		if (moved) this.markScrollbarActivity();
-		this.requestRenderCallback?.();
-	}
-
-	scrollBy(lines: number): number {
-		const requested = Number.isFinite(lines) ? Math.trunc(lines) : 0;
-		if (requested === 0) return 0;
-		const maxScrollTop = Math.max(0, this.contentHeight - this.currentViewportHeight);
-		const start = this.followingEnd ? maxScrollTop : this.currentScrollTop;
-		const next = Math.max(0, Math.min(maxScrollTop, start + requested));
-		const moved = next - start;
-		const wasFollowingEnd = this.followingEnd;
-		this.currentScrollTop = next;
-		this.followingEnd = this.followEnd && next === maxScrollTop;
-		this.followSuppressedAtEnd = false;
-		if (moved !== 0) this.markScrollbarActivity();
-		if (moved !== 0 || this.followingEnd !== wasFollowingEnd) this.requestRenderCallback?.();
-		return requested - moved;
-	}
-
-	scrollToStart(): void {
-		const changed =
-			this.currentScrollTop !== 0 ||
-			this.followingEnd !== (this.followEnd && this.contentHeight <= this.currentViewportHeight);
-		this.currentScrollTop = 0;
-		this.followingEnd = this.followEnd && this.contentHeight <= this.currentViewportHeight;
-		this.followSuppressedAtEnd = false;
-		if (changed) {
-			this.markScrollbarActivity();
-			this.requestRenderCallback?.();
-		}
-	}
-
-	scrollToEnd(): void {
-		const next = Math.max(0, this.contentHeight - this.currentViewportHeight);
-		const changed = this.currentScrollTop !== next || this.followingEnd !== this.followEnd;
-		this.currentScrollTop = next;
-		this.followingEnd = this.followEnd;
-		this.followSuppressedAtEnd = false;
-		if (changed) {
-			this.markScrollbarActivity();
-			this.requestRenderCallback?.();
-		}
-	}
-
-	updateLayout(contentHeight: number, viewportHeight: number, requestRender: () => void): void {
-		this.contentHeight = Math.max(0, Math.floor(contentHeight));
-		this.currentViewportHeight = Math.max(0, Math.floor(viewportHeight));
-		this.requestRenderCallback = requestRender;
-		const maxScrollTop = Math.max(0, this.contentHeight - this.currentViewportHeight);
-		if (this.followingEnd) this.currentScrollTop = maxScrollTop;
-		else this.currentScrollTop = Math.max(0, Math.min(this.currentScrollTop, maxScrollTop));
-		if (this.currentScrollTop < maxScrollTop) this.followSuppressedAtEnd = false;
-		if (this.followEnd && this.currentScrollTop === maxScrollTop && !this.followSuppressedAtEnd) {
-			this.followingEnd = true;
-		}
-		if (this.contentHeight <= this.currentViewportHeight) this.hideTransientScrollbar();
-	}
-
-	override addChild(_component: Component): void {
-		throw new Error("ScrollView has exactly one child");
-	}
-
-	override removeChild(_component: Component): void {
-		throw new Error("ScrollView child cannot be removed");
-	}
-
-	override clear(): void {
-		throw new Error("ScrollView child cannot be cleared");
-	}
-
-	override render(width: number): string[] {
-		const contentWidth = this.getContentWidth(width);
-		const lines = this.child.render(contentWidth);
-		return contentWidth === width ? lines : lines.map((line) => `${line} `);
-	}
-
-	[LAYOUT_NODE](): ScrollLayoutNode {
-		return { type: "scroll", component: this.child, state: this };
-	}
-}

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

@@ -1,230 +0,0 @@
-// @ts-nocheck -- vendored by rovecode: upstream-checked at pinned SHA 853a80d2; see ../PATCHES.md
-import { getKeybindings } from "../keybindings.ts";
-import type { Component } from "../tui.ts";
-import { truncateToWidth, visibleWidth } from "../utils.ts";
-
-const DEFAULT_PRIMARY_COLUMN_WIDTH = 32;
-const PRIMARY_COLUMN_GAP = 2;
-const MIN_DESCRIPTION_WIDTH = 10;
-
-const normalizeToSingleLine = (text: string): string => text.replace(/[\r\n]+/g, " ").trim();
-const clamp = (value: number, min: number, max: number): number => Math.max(min, Math.min(value, max));
-
-export interface SelectItem {
-	value: string;
-	label: string;
-	description?: string;
-}
-
-export interface SelectListTheme {
-	selectedPrefix: (text: string) => string;
-	selectedText: (text: string) => string;
-	description: (text: string) => string;
-	scrollInfo: (text: string) => string;
-	noMatch: (text: string) => string;
-}
-
-export interface SelectListTruncatePrimaryContext {
-	text: string;
-	maxWidth: number;
-	columnWidth: number;
-	item: SelectItem;
-	isSelected: boolean;
-}
-
-export interface SelectListLayoutOptions {
-	minPrimaryColumnWidth?: number;
-	maxPrimaryColumnWidth?: number;
-	truncatePrimary?: (context: SelectListTruncatePrimaryContext) => string;
-}
-
-export class SelectList implements Component {
-	private items: SelectItem[] = [];
-	private filteredItems: SelectItem[] = [];
-	private selectedIndex: number = 0;
-	private maxVisible: number = 5;
-	private theme: SelectListTheme;
-	private layout: SelectListLayoutOptions;
-
-	public onSelect?: (item: SelectItem) => void;
-	public onCancel?: () => void;
-	public onSelectionChange?: (item: SelectItem) => void;
-
-	constructor(items: SelectItem[], maxVisible: number, theme: SelectListTheme, layout: SelectListLayoutOptions = {}) {
-		this.items = items;
-		this.filteredItems = items;
-		this.maxVisible = maxVisible;
-		this.theme = theme;
-		this.layout = layout;
-	}
-
-	setFilter(filter: string): void {
-		this.filteredItems = this.items.filter((item) => item.value.toLowerCase().startsWith(filter.toLowerCase()));
-		// Reset selection when filter changes
-		this.selectedIndex = 0;
-	}
-
-	setSelectedIndex(index: number): void {
-		this.selectedIndex = Math.max(0, Math.min(index, this.filteredItems.length - 1));
-	}
-
-	invalidate(): void {
-		// No cached state to invalidate currently
-	}
-
-	render(width: number): string[] {
-		const lines: string[] = [];
-
-		// If no items match filter, show message
-		if (this.filteredItems.length === 0) {
-			lines.push(this.theme.noMatch("  No matching commands"));
-			return lines;
-		}
-
-		const primaryColumnWidth = this.getPrimaryColumnWidth();
-
-		// Calculate visible range with scrolling
-		const startIndex = Math.max(
-			0,
-			Math.min(this.selectedIndex - Math.floor(this.maxVisible / 2), this.filteredItems.length - this.maxVisible),
-		);
-		const endIndex = Math.min(startIndex + this.maxVisible, this.filteredItems.length);
-
-		// Render visible items
-		for (let i = startIndex; i < endIndex; i++) {
-			const item = this.filteredItems[i];
-			if (!item) continue;
-
-			const isSelected = i === this.selectedIndex;
-			const descriptionSingleLine = item.description ? normalizeToSingleLine(item.description) : undefined;
-			lines.push(this.renderItem(item, isSelected, width, descriptionSingleLine, primaryColumnWidth));
-		}
-
-		// Add scroll indicators if needed
-		if (startIndex > 0 || endIndex < this.filteredItems.length) {
-			const scrollText = `  (${this.selectedIndex + 1}/${this.filteredItems.length})`;
-			// Truncate if too long for terminal
-			lines.push(this.theme.scrollInfo(truncateToWidth(scrollText, width - 2, "")));
-		}
-
-		return lines;
-	}
-
-	handleInput(keyData: string): void {
-		const kb = getKeybindings();
-		// Up arrow - wrap to bottom when at top
-		if (kb.matches(keyData, "tui.select.up")) {
-			this.selectedIndex = this.selectedIndex === 0 ? this.filteredItems.length - 1 : this.selectedIndex - 1;
-			this.notifySelectionChange();
-		}
-		// Down arrow - wrap to top when at bottom
-		else if (kb.matches(keyData, "tui.select.down")) {
-			this.selectedIndex = this.selectedIndex === this.filteredItems.length - 1 ? 0 : this.selectedIndex + 1;
-			this.notifySelectionChange();
-		}
-		// Enter
-		else if (kb.matches(keyData, "tui.select.confirm")) {
-			const selectedItem = this.filteredItems[this.selectedIndex];
-			if (selectedItem && this.onSelect) {
-				this.onSelect(selectedItem);
-			}
-		}
-		// Escape or Ctrl+C
-		else if (kb.matches(keyData, "tui.select.cancel")) {
-			if (this.onCancel) {
-				this.onCancel();
-			}
-		}
-	}
-
-	private renderItem(
-		item: SelectItem,
-		isSelected: boolean,
-		width: number,
-		descriptionSingleLine: string | undefined,
-		primaryColumnWidth: number,
-	): string {
-		const prefix = isSelected ? "→ " : "  ";
-		const prefixWidth = visibleWidth(prefix);
-
-		if (descriptionSingleLine && width > 40) {
-			const effectivePrimaryColumnWidth = Math.max(1, Math.min(primaryColumnWidth, width - prefixWidth - 4));
-			const maxPrimaryWidth = Math.max(1, effectivePrimaryColumnWidth - PRIMARY_COLUMN_GAP);
-			const truncatedValue = this.truncatePrimary(item, isSelected, maxPrimaryWidth, effectivePrimaryColumnWidth);
-			const truncatedValueWidth = visibleWidth(truncatedValue);
-			const spacing = " ".repeat(Math.max(1, effectivePrimaryColumnWidth - truncatedValueWidth));
-			const descriptionStart = prefixWidth + truncatedValueWidth + spacing.length;
-			const remainingWidth = width - descriptionStart - 2; // -2 for safety
-
-			if (remainingWidth > MIN_DESCRIPTION_WIDTH) {
-				const truncatedDesc = truncateToWidth(descriptionSingleLine, remainingWidth, "");
-				if (isSelected) {
-					return this.theme.selectedText(`${prefix}${truncatedValue}${spacing}${truncatedDesc}`);
-				}
-
-				const descText = this.theme.description(spacing + truncatedDesc);
-				return prefix + truncatedValue + descText;
-			}
-		}
-
-		const maxWidth = width - prefixWidth - 2;
-		const truncatedValue = this.truncatePrimary(item, isSelected, maxWidth, maxWidth);
-		if (isSelected) {
-			return this.theme.selectedText(`${prefix}${truncatedValue}`);
-		}
-
-		return prefix + truncatedValue;
-	}
-
-	private getPrimaryColumnWidth(): number {
-		const { min, max } = this.getPrimaryColumnBounds();
-		const widestPrimary = this.filteredItems.reduce((widest, item) => {
-			return Math.max(widest, visibleWidth(this.getDisplayValue(item)) + PRIMARY_COLUMN_GAP);
-		}, 0);
-
-		return clamp(widestPrimary, min, max);
-	}
-
-	private getPrimaryColumnBounds(): { min: number; max: number } {
-		const rawMin =
-			this.layout.minPrimaryColumnWidth ?? this.layout.maxPrimaryColumnWidth ?? DEFAULT_PRIMARY_COLUMN_WIDTH;
-		const rawMax =
-			this.layout.maxPrimaryColumnWidth ?? this.layout.minPrimaryColumnWidth ?? DEFAULT_PRIMARY_COLUMN_WIDTH;
-
-		return {
-			min: Math.max(1, Math.min(rawMin, rawMax)),
-			max: Math.max(1, Math.max(rawMin, rawMax)),
-		};
-	}
-
-	private truncatePrimary(item: SelectItem, isSelected: boolean, maxWidth: number, columnWidth: number): string {
-		const displayValue = this.getDisplayValue(item);
-		const truncatedValue = this.layout.truncatePrimary
-			? this.layout.truncatePrimary({
-					text: displayValue,
-					maxWidth,
-					columnWidth,
-					item,
-					isSelected,
-				})
-			: truncateToWidth(displayValue, maxWidth, "");
-
-		return truncateToWidth(truncatedValue, maxWidth, "");
-	}
-
-	private getDisplayValue(item: SelectItem): string {
-		return item.label || item.value;
-	}
-
-	private notifySelectionChange(): void {
-		const selectedItem = this.filteredItems[this.selectedIndex];
-		if (selectedItem && this.onSelectionChange) {
-			this.onSelectionChange(selectedItem);
-		}
-	}
-
-	getSelectedItem(): SelectItem | null {
-		const item = this.filteredItems[this.selectedIndex];
-		return item || null;
-	}
-}