Something went wrong. Try again.
fork of prime agent with changes i want but are not upstreamable probqbly (and some fixes)
Something went wrong. Try again.
2.4 kB · 87 lines
TypeScript
at main
12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788/** * Simple text input component for extensions. */
import { Container, type Focusable, getKeybindings, Input, Spacer, Text, type TUI } from "@earendil-works/pi-tui";import { theme } from "../theme/theme.js";import { CountdownTimer } from "./countdown-timer.js";import { DynamicBorder } from "./dynamic-border.js";import { keyHint } from "./keybinding-hints.js";
export interface ExtensionInputOptions { tui?: TUI; timeout?: number;}
export class ExtensionInputComponent extends Container implements Focusable { private input: Input; private onSubmitCallback: (value: string) => void; private onCancelCallback: () => void; private titleText: Text; private baseTitle: string; private countdown: CountdownTimer | undefined;
// Focusable implementation - propagate to input for IME cursor positioning private _focused = false; get focused(): boolean { return this._focused; } set focused(value: boolean) { this._focused = value; this.input.focused = value; }
constructor( title: string, _placeholder: string | undefined, onSubmit: (value: string) => void, onCancel: () => void, opts?: ExtensionInputOptions, ) { super();
this.onSubmitCallback = onSubmit; this.onCancelCallback = onCancel; this.baseTitle = title;
this.addChild(new DynamicBorder()); this.addChild(new Spacer(1));
this.titleText = new Text(theme.fg("accent", title), 1, 0); this.addChild(this.titleText); this.addChild(new Spacer(1));
if (opts?.timeout && opts.timeout > 0 && opts.tui) { this.countdown = new CountdownTimer( opts.timeout, opts.tui, (s) => this.titleText.setText(theme.fg("accent", `${this.baseTitle} (${s}s)`)), () => this.onCancelCallback(), ); }
this.input = new Input(); this.addChild(this.input); this.addChild(new Spacer(1)); this.addChild( new Text(`${keyHint("tui.select.confirm", "submit")} ${keyHint("tui.select.cancel", "cancel")}`, 1, 0), ); this.addChild(new Spacer(1)); this.addChild(new DynamicBorder()); }
handleInput(keyData: string): void { const kb = getKeybindings(); if (kb.matches(keyData, "tui.select.confirm") || keyData === "\n") { this.onSubmitCallback(this.input.getValue()); } else if (kb.matches(keyData, "tui.select.cancel")) { this.onCancelCallback(); } else { this.input.handleInput(keyData); } }
dispose(): void { this.countdown?.dispose(); }}