Something went wrong. Try again.
more up to date at codeberg https://codeberg.org/cowie/tau.git
Something went wrong. Try again.
2.0 kB · 68 lines
TypeScript
at main
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869import { CancellableLoader, Container, Loader, Spacer, Text, type TUI } from "@earendil-works/pi-tui";import type { Theme } from "../theme/theme.ts";import { DynamicBorder } from "./dynamic-border.ts";import { keyHint } from "./keybinding-hints.ts";
/** Loader wrapped with borders for extension UI */export class BorderedLoader extends Container { private loader: CancellableLoader | Loader; private cancellable: boolean; private signalController?: AbortController;
constructor(tui: TUI, theme: Theme, message: string, options?: { cancellable?: boolean }) { super(); this.cancellable = options?.cancellable ?? true; const borderColor = (s: string) => theme.fg("border", s); this.addChild(new DynamicBorder(borderColor)); if (this.cancellable) { this.loader = new CancellableLoader( tui, (s) => theme.fg("accent", s), (s) => theme.fg("muted", s), message, ); } else { this.signalController = new AbortController(); this.loader = new Loader( tui, (s) => theme.fg("accent", s), (s) => theme.fg("muted", s), message, ); } this.addChild(this.loader); if (this.cancellable) { this.addChild(new Spacer(1)); this.addChild(new Text(keyHint("tui.select.cancel", "cancel"), 1, 0)); } this.addChild(new Spacer(1)); this.addChild(new DynamicBorder(borderColor)); }
get signal(): AbortSignal { if (this.cancellable) { return (this.loader as CancellableLoader).signal; } return this.signalController?.signal ?? new AbortController().signal; }
set onAbort(fn: (() => void) | undefined) { if (this.cancellable) { (this.loader as CancellableLoader).onAbort = fn; } }
handleInput(data: string): void { if (this.cancellable) { (this.loader as CancellableLoader).handleInput(data); } }
dispose(): void { if ("dispose" in this.loader && typeof this.loader.dispose === "function") { this.loader.dispose(); } else if ("stop" in this.loader && typeof this.loader.stop === "function") { this.loader.stop(); } }}