Mario Zechner
5a4e22ea44
- switch SDK/CLI tool selection to name-based allowlists - apply allowlists across built-in, extension, and SDK tools - remove ambient process.cwd defaults from core tooling and resource helpers - update tests, examples, and TUI callers for explicit cwd plumbing - add regression coverage for extension tool filtering closes #3452 closes #2835
87 lines
2.3 KiB
TypeScript
87 lines
2.3 KiB
TypeScript
import type { TUI } from "../tui.js";
|
|
import { Text } from "./text.js";
|
|
|
|
export interface LoaderIndicatorOptions {
|
|
/** Animation frames. Use an empty array to hide the indicator. */
|
|
frames?: string[];
|
|
/** Frame interval in milliseconds for animated indicators. */
|
|
intervalMs?: number;
|
|
}
|
|
|
|
const DEFAULT_FRAMES = ["⠋", "⠙", "⠹", "⠸", "⠼", "⠴", "⠦", "⠧", "⠇", "⠏"];
|
|
const DEFAULT_INTERVAL_MS = 80;
|
|
|
|
/**
|
|
* Loader component that updates with an optional spinning animation.
|
|
*/
|
|
export class Loader extends Text {
|
|
private frames = [...DEFAULT_FRAMES];
|
|
private intervalMs = DEFAULT_INTERVAL_MS;
|
|
private currentFrame = 0;
|
|
private intervalId: NodeJS.Timeout | null = null;
|
|
private ui: TUI | null = null;
|
|
private renderIndicatorVerbatim = false;
|
|
|
|
constructor(
|
|
ui: TUI,
|
|
private spinnerColorFn: (str: string) => string,
|
|
private messageColorFn: (str: string) => string,
|
|
private message: string = "Loading...",
|
|
indicator?: LoaderIndicatorOptions,
|
|
) {
|
|
super("", 1, 0);
|
|
this.ui = ui;
|
|
this.setIndicator(indicator);
|
|
}
|
|
|
|
render(width: number): string[] {
|
|
return ["", ...super.render(width)];
|
|
}
|
|
|
|
start(): void {
|
|
this.updateDisplay();
|
|
this.restartAnimation();
|
|
}
|
|
|
|
stop(): void {
|
|
if (this.intervalId) {
|
|
clearInterval(this.intervalId);
|
|
this.intervalId = null;
|
|
}
|
|
}
|
|
|
|
setMessage(message: string): void {
|
|
this.message = message;
|
|
this.updateDisplay();
|
|
}
|
|
|
|
setIndicator(indicator?: LoaderIndicatorOptions): void {
|
|
this.renderIndicatorVerbatim = indicator !== undefined;
|
|
this.frames = indicator?.frames !== undefined ? [...indicator.frames] : [...DEFAULT_FRAMES];
|
|
this.intervalMs = indicator?.intervalMs && indicator.intervalMs > 0 ? indicator.intervalMs : DEFAULT_INTERVAL_MS;
|
|
this.currentFrame = 0;
|
|
this.start();
|
|
}
|
|
|
|
private restartAnimation(): void {
|
|
this.stop();
|
|
if (this.frames.length <= 1) {
|
|
return;
|
|
}
|
|
this.intervalId = setInterval(() => {
|
|
this.currentFrame = (this.currentFrame + 1) % this.frames.length;
|
|
this.updateDisplay();
|
|
}, this.intervalMs);
|
|
}
|
|
|
|
private updateDisplay(): void {
|
|
const frame = this.frames[this.currentFrame] ?? "";
|
|
const renderedFrame = this.renderIndicatorVerbatim ? frame : this.spinnerColorFn(frame);
|
|
const indicator = frame.length > 0 ? `${renderedFrame} ` : "";
|
|
this.setText(`${indicator}${this.messageColorFn(this.message)}`);
|
|
if (this.ui) {
|
|
this.ui.requestRender();
|
|
}
|
|
}
|
|
}
|