@underactive/pi-topping 0.2.0 → 0.3.0

package/menu.ts

@@ -1,355 +0,0 @@
-/**
- * menu.ts
- *
- * A reusable, dependency-light box-drawing toggle-menu component for Pi
- * extensions, built on top of `@earendil-works/pi-tui`'s `Component`
- * contract and `ctx.ui.custom()` overlay API.
- *
- * Renders a titled box containing one or more sections of boolean toggle
- * items, plus an optional live-updating preview section driven by a
- * caller-supplied render callback, e.g.:
- *
- *   ╔═[ Pi Topping: Settings ]════════════════════════╗
- *   ╟─ Preview ─────────────────────────────────────╢
- *   ║                                                  ║
- *   ║ ⠋ Cerebrating… ⣤⣤⣤⣤ (0m 03s · ↓ 84 tokens)     ║
- *   ║                                                  ║
- *   ╟─ Decorations ───────────────────────────────────╢
- *   ║  ▸ [■] Animated spinner                    ON   ║
- *   ║    [ ] "Working..." text shimmer           OFF   ║
- *   ║                                                  ║
- *   ╟──────────────────────────────────────────────────╢
- *   ║  ↑↓ move  ␣ toggle  ⏎ apply  esc cancel          ║
- *   ╚══════════════════════════════════════════[ 1/2 ]═╝
- *
- * Intended to be reused by any extension that needs a simple modal toggle
- * menu; it has no dependency on this extension's own settings shape.
- */
-
-import type { ExtensionCommandContext, Theme } from "@earendil-works/pi-coding-agent";
-import { type Component, Key, matchesKey, truncateToWidth, type TUI, visibleWidth } from "@earendil-works/pi-tui";
-
-export interface MenuItem {
-	id: string;
-	label: string;
-	value: boolean;
-}
-
-export interface MenuSection {
-	title: string;
-	items: MenuItem[];
-}
-
-export interface MenuConfig {
-	title: string;
-	sections: MenuSection[];
-	hints?: string[];
-	/**
-	 * Optional live preview renderer, shown in its own "Preview" section above
-	 * the toggle sections. Called on every render with the menu's current
-	 * (possibly toggled but not-yet-applied) values and the number of
-	 * milliseconds elapsed since the menu opened, so callers can drive
-	 * animation (e.g. a shimmer sweep or a scrolling meter). Return one string
-	 * per preview line; lines may contain ANSI styling and are truncated/
-	 * padded to fit automatically.
-	 *
-	 * When set, the menu re-renders itself on an interval (see
-	 * `previewIntervalMs`) so the preview animates even without keyboard
-	 * input.
-	 */
-	preview?: (values: Record<string, boolean>, elapsedMs: number) => string[];
-	/** Interval in ms between preview re-renders when `preview` is set. Default 50. */
-	previewIntervalMs?: number;
-}
-
-export interface MenuResult<T> {
-	applied: boolean;
-	values: T;
-}
-
-const DEFAULT_HINTS = ["\u2191\u2193 move", "\u2423 toggle", "\u23ce apply", "esc cancel"];
-const MIN_WIDTH = 36;
-const MAX_WIDTH = 76;
-
-interface FlatItem {
-	id: string;
-	label: string;
-}
-
-/** Internal Component implementing the box-drawing toggle menu. */
-export class MenuComponent implements Component {
-	private readonly theme: Theme;
-	private readonly done: (result: MenuResult<Record<string, boolean>>) => void;
-	private readonly title: string;
-	private readonly sections: MenuSection[];
-	private readonly hints: string[];
-	private readonly initialValues: Record<string, boolean>;
-	private readonly values: Record<string, boolean>;
-	private readonly flat: FlatItem[];
-	private readonly previewFn: MenuConfig["preview"];
-	private readonly previewOrigin: number | undefined;
-	private previewTimer: ReturnType<typeof setInterval> | undefined;
-	private cursor = 0;
-	private cachedWidth: number | undefined;
-	private cachedLines: string[] | undefined;
-
-	constructor(
-		config: MenuConfig,
-		theme: Theme,
-		done: (result: MenuResult<Record<string, boolean>>) => void,
-		tui?: TUI,
-	) {
-		this.theme = theme;
-		this.done = done;
-		this.title = config.title;
-		this.sections = config.sections;
-		this.hints = config.hints ?? DEFAULT_HINTS;
-		this.values = {};
-		this.flat = [];
-		for (const section of config.sections) {
-			for (const item of section.items) {
-				this.values[item.id] = item.value;
-				this.flat.push({ id: item.id, label: item.label });
-			}
-		}
-		this.initialValues = { ...this.values };
-
-		this.previewFn = config.preview;
-		if (this.previewFn) {
-			this.previewOrigin = Date.now();
-			if (tui) {
-				const intervalMs = config.previewIntervalMs ?? 50;
-				this.previewTimer = setInterval(() => {
-					this.invalidate();
-					tui.requestRender();
-				}, intervalMs);
-			}
-		}
-	}
-
-	/** Stops the preview animation timer, if any. Called automatically when the overlay closes. */
-	dispose(): void {
-		if (this.previewTimer) {
-			clearInterval(this.previewTimer);
-			this.previewTimer = undefined;
-		}
-	}
-
-	handleInput(data: string): void {
-		if (this.flat.length === 0) {
-			if (matchesKey(data, Key.enter)) {
-				this.done({ applied: true, values: { ...this.values } });
-			} else if (matchesKey(data, Key.escape) || matchesKey(data, Key.ctrl("c"))) {
-				this.done({ applied: false, values: { ...this.initialValues } });
-			}
-			return;
-		}
-
-		// Map input to a normalized key name.
-		let mappedKey: string | undefined;
-		for (const k of [Key.up, Key.down, Key.space, Key.enter, Key.escape]) {
-			if (matchesKey(data, k)) {
-				mappedKey = k;
-				break;
-			}
-		}
-		if (!mappedKey && matchesKey(data, Key.ctrl("c"))) mappedKey = Key.escape;
-
-		const keyActions: Record<string, () => void> = {
-			[Key.up]: () => {
-				this.cursor = (this.cursor - 1 + this.flat.length) % this.flat.length;
-				this.invalidate();
-			},
-			[Key.down]: () => {
-				this.cursor = (this.cursor + 1) % this.flat.length;
-				this.invalidate();
-			},
-			[Key.space]: () => {
-				const item = this.flat[this.cursor]!;
-				this.values[item.id] = !this.values[item.id];
-				this.invalidate();
-			},
-			[Key.enter]: () => this.done({ applied: true, values: { ...this.values } }),
-			[Key.escape]: () => this.done({ applied: false, values: { ...this.initialValues } }),
-		};
-
-		const handler = mappedKey ? keyActions[mappedKey] : undefined;
-		if (handler) handler();
-	}
-
-	invalidate(): void {
-		this.cachedWidth = undefined;
-		this.cachedLines = undefined;
-	}
-
-	render(width: number): string[] {
-		if (this.cachedWidth === width && this.cachedLines) return this.cachedLines;
-		const lines = this.buildLines(width);
-		this.cachedWidth = width;
-		this.cachedLines = lines;
-		return lines;
-	}
-
-	private preferredWidth(previewLines: string[] | undefined): number {
-		const candidates: number[] = [MIN_WIDTH - 2, 5 + this.title.length];
-		if (previewLines && previewLines.length > 0) {
-			candidates.push(3 + "Preview".length);
-			// +1 for the leading space rendered in front of each preview line.
-			for (const line of previewLines) candidates.push(visibleWidth(line) + 1);
-		}
-		for (const section of this.sections) {
-			candidates.push(3 + section.title.length);
-			for (const item of section.items) {
-				// 8 fixed left columns + label + 2-space default gap + "OFF" (3) + 2 trailing.
-				candidates.push(8 + item.label.length + 2 + 3 + 2);
-			}
-		}
-		candidates.push(2 + this.hints.join("  ").length);
-		return 2 + Math.max(...candidates);
-	}
-
-	private samplePreview(): string[] | undefined {
-		return this.previewFn ? this.previewFn(this.values, this.previewOrigin !== undefined ? Date.now() - this.previewOrigin : 0) : undefined;
-	}
-
-	private buildPreviewBlock(previewLines: string[] | undefined, innerWidth: number): string[] {
-		if (!previewLines?.length) return [];
-		return [this.renderSectionDivider("Preview", innerWidth), this.renderBlankRow(innerWidth), ...previewLines.map(line => this.renderContentRow(` ${line}`, innerWidth)), this.renderBlankRow(innerWidth)];
-	}
-
-	private buildToggleSections(innerWidth: number): string[] {
-		let flatIndex = 0;
-		return this.sections.flatMap(section => [
-			this.renderSectionDivider(section.title, innerWidth),
-			...section.items.map(item => this.renderItemRow(item, flatIndex++ === this.cursor, innerWidth)),
-			this.renderBlankRow(innerWidth),
-		]);
-	}
-
-	private buildFooter(innerWidth: number): string[] {
-		return [this.renderSeparator(innerWidth), this.renderHintsRow(innerWidth), this.renderBottomBorder(innerWidth)];
-	}
-
-	private buildLines(maxWidth: number): string[] {
-		const previewLines = this.samplePreview();
-		const boxWidth = Math.max(0, Math.min(Math.max(MIN_WIDTH, Math.min(MAX_WIDTH, this.preferredWidth(previewLines))), maxWidth));
-		const innerWidth = Math.max(0, boxWidth - 2);
-		return [this.renderTopBorder(innerWidth), ...this.buildPreviewBlock(previewLines, innerWidth), ...this.buildToggleSections(innerWidth), ...this.buildFooter(innerWidth)].map(line => truncateToWidth(line, boxWidth, ""));
-	}
-
-	private wrap(left: string, content: string, right: string): string {
-		const th = this.theme;
-		return th.fg("accent", left) + content + th.fg("accent", right);
-	}
-
-	/** Render a filled horizontal line with optional title. */
-	private renderFilledLine(
-		left: string,
-		right: string,
-		fillChar: string,
-		innerWidth: number,
-		title?: string,
-		titlePrefix?: string,
-		titleSuffix?: string,
-		boldTitle?: boolean,
-	): string {
-		const th = this.theme;
-		if (!title) {
-			const content = th.fg("accent", fillChar.repeat(innerWidth));
-			return this.wrap(left, content, right);
-		}
-		const prefix = titlePrefix ?? "";
-		const suffix = titleSuffix ?? "";
-		const maxTitleLen = Math.max(0, innerWidth - prefix.length - suffix.length);
-		const shownTitle = title.length > maxTitleLen ? truncateToWidth(title, maxTitleLen) : title;
-		const styledTitle = boldTitle ? th.bold(shownTitle) : shownTitle;
-		const fillCount = Math.max(0, innerWidth - visibleWidth(prefix + shownTitle + suffix));
-		const content = th.fg("accent", `${prefix}${styledTitle}${suffix}${fillChar.repeat(fillCount)}`);
-		return this.wrap(left, content, right);
-	}
-
-	private renderTopBorder(innerWidth: number): string {
-		return this.renderFilledLine("\u2554", "\u2557", "\u2550", innerWidth, this.title, "\u2550[ ", " ]", true);
-	}
-
-	private renderBottomBorder(innerWidth: number): string {
-		const counter = `[ ${this.cursor + 1}/${this.flat.length} ]`;
-		const fillCount = Math.max(0, innerWidth - counter.length);
-		const content = `${"\u2550".repeat(fillCount)}${counter}`;
-		return this.wrap("\u255a", this.theme.fg("accent", content), "\u255d");
-	}
-
-	private renderSectionDivider(title: string, innerWidth: number): string {
-		return this.renderFilledLine("\u255f", "\u2562", "\u2500", innerWidth, title, "\u2500 ", " \u2500");
-	}
-
-	private renderSeparator(innerWidth: number): string {
-		return this.renderFilledLine("\u255f", "\u2562", "\u2500", innerWidth);
-	}
-
-	private renderBlankRow(innerWidth: number): string {
-		return this.wrap("\u2551", " ".repeat(innerWidth), "\u2551");
-	}
-
-	/** Pads/truncates an already-styled content string to exactly `innerWidth` and wraps it in border chars. */
-	private renderContentRow(content: string, innerWidth: number): string {
-		const shown = visibleWidth(content) > innerWidth ? truncateToWidth(content, innerWidth) : content;
-		const pad = Math.max(0, innerWidth - visibleWidth(shown));
-		return this.wrap("\u2551", `${shown}${" ".repeat(pad)}`, "\u2551");
-	}
-
-	private renderHintsRow(innerWidth: number): string {
-		const plain = `  ${this.hints.join("  ")}`;
-		return this.renderContentRow(this.theme.fg("dim", plain), innerWidth);
-	}
-
-	private renderItemRow(item: MenuItem, selected: boolean, innerWidth: number): string {
-		const th = this.theme;
-		const value = this.values[item.id]!;
-		const marker = selected ? "\u25b8" : " ";
-		const box = value ? "\u25a0" : " ";
-		const stateWord = value ? "ON" : "OFF";
-		const rightPlain = `${stateWord}  `;
-		const fixedLeftLen = 8; // "  " + marker(1) + " " + "[" + box(1) + "]" + " "
-		const minGap = 1;
-		const maxLabelLen = Math.max(0, innerWidth - fixedLeftLen - rightPlain.length - minGap);
-		const label = item.label.length > maxLabelLen ? truncateToWidth(item.label, maxLabelLen) : item.label;
-
-		const leftPlain = `  ${marker} [${box}] ${label}`;
-		const gap = Math.max(1, innerWidth - visibleWidth(leftPlain) - visibleWidth(rightPlain));
-
-		const markerColored = selected ? th.fg("accent", marker) : marker;
-		const boxColored = value ? th.fg("success", box) : th.fg("muted", box);
-		const labelColored = th.fg("text", label);
-		const stateColored = value ? th.fg("success", stateWord) : th.fg("muted", stateWord);
-
-		const content = `  ${markerColored} [${boxColored}] ${labelColored}${" ".repeat(gap)}${stateColored}  `;
-		return this.wrap("\u2551", content, "\u2551");
-	}
-}
-
-/**
- * Show a modal box-drawing toggle menu and resolve once the user applies
- * (Enter) or cancels (Escape / Ctrl+C) it.
- *
- * Requires TUI mode; in any other mode this resolves immediately with
- * `applied: false` and the menu's initial values, doing nothing visible.
- */
-export async function showMenu<T extends Record<string, boolean>>(
-	ctx: ExtensionCommandContext,
-	config: MenuConfig,
-): Promise<MenuResult<T>> {
-	const initialValues = Object.fromEntries(
-		config.sections.flatMap((section) => section.items.map((item) => [item.id, item.value])),
-	) as T;
-
-	if (ctx.mode !== "tui") {
-		return { applied: false, values: initialValues };
-	}
-
-	return ctx.ui.custom<MenuResult<T>>(
-		(tui, theme, _keybindings, done) =>
-			new MenuComponent(config, theme, done as (result: MenuResult<Record<string, boolean>>) => void, tui),
-		{ overlay: true },
-	);
-}

package/preview.ts

@@ -1,47 +0,0 @@
-import type { ExtensionContext } from "@earendil-works/pi-coding-agent";
-import { ActivityMeter, rateToLevel } from "./activity-meter.ts";
-import { buildWorkingMessage, formatElapsed, formatTokens, isFullyDefaultAppearance, shimmerString } from "./format.ts";
-import { pickRandomWord } from "./words.ts";
-
-const SPINNER_FRAMES = ["⠋", "⠙", "⠹", "⠸", "⠼", "⠴", "⠦", "⠧", "⠇", "⠏"];
-const METER_INTERVAL_MS = 100;
-const METER_PERIOD_MS = 2400;
-const METER_PEAK_RATE = 46;
-const TOKEN_RATE_PER_SEC = 28;
-const DEFAULT_WORKING_WORD = "Working…";
-
-function meterRate(elapsedMs: number): number {
-	return ((1 - Math.cos((2 * Math.PI * elapsedMs) / METER_PERIOD_MS)) / 2) * METER_PEAK_RATE;
-}
-
-/** Stateful, per-menu live preview renderer. */
-export class PreviewRenderer {
-	readonly #word = pickRandomWord();
-	readonly #meter = new ActivityMeter();
-	#lastMeterUpdate = 0;
-	readonly #ctx: ExtensionContext;
-
-	constructor(ctx: ExtensionContext) { this.#ctx = ctx; }
-
-	render(values: Record<string, boolean>, elapsedMs: number): string[] {
-		this.#meter.setDirection(values.meterDirection_rtl ? "rtl" : "ltr");
-		if (elapsedMs - this.#lastMeterUpdate >= METER_INTERVAL_MS) {
-			this.#meter.push(rateToLevel(meterRate(elapsedMs)));
-			this.#lastMeterUpdate = elapsedMs;
-		}
-		const features = {
-			substituteDefaultMessage: values.substituteDefaultMessage ?? true,
-			elapsedTime: values.elapsedTime ?? true,
-			outputTokens: values.outputTokens ?? true,
-		};
-		const decorations = { shimmer: values.shimmer ?? true, tokenActivityMonitor: values.tokenActivityMonitor ?? true };
-		const spinner = values.animatedSpinner
-			? this.#ctx.ui.theme.fg("accent", SPINNER_FRAMES[Math.floor(elapsedMs / 80) % SPINNER_FRAMES.length]!)
-			: "";
-		if (isFullyDefaultAppearance(features, decorations)) return [[spinner, this.#ctx.ui.theme.fg("dim", DEFAULT_WORKING_WORD)].filter(Boolean).join(" ")];
-		const word = features.substituteDefaultMessage ? this.#word : DEFAULT_WORKING_WORD;
-		const styledWord = decorations.shimmer ? shimmerString(word, elapsedMs, this.#ctx.ui.theme) : this.#ctx.ui.theme.fg("text", word);
-		const meter = decorations.tokenActivityMonitor ? this.#meter.render((level, char) => ActivityMeter.colorizeCell(level, char, this.#ctx.ui.theme)) : "";
-		return [[spinner, buildWorkingMessage(this.#ctx.ui.theme, styledWord, meter, formatElapsed(elapsedMs), formatTokens(Math.max(0, Math.floor(elapsedMs / 1000 * TOKEN_RATE_PER_SEC))), features)].filter(Boolean).join(" ")];
-	}
-}

package/session.ts

@@ -1,43 +0,0 @@
-import type { ExtensionAPI, ExtensionCommandContext, ExtensionContext } from "@earendil-works/pi-coding-agent";
-import { Text } from "@earendil-works/pi-tui";
-import { ActivityMeter, rateToLevel, TokRateTracker } from "./activity-meter.ts";
-import { buildWorkingMessage, formatElapsed, formatTokens, isFullyDefaultAppearance, shimmerString, StreamingWordCounter } from "./format.ts";
-import { showMenu } from "./menu.ts";
-import { applyMenuResult, buildMenuSections, loadSettings, saveSettings } from "./settings.ts";
-import { PreviewRenderer } from "./preview.ts";
-import { pickRandomWord, pickRawWord } from "./words.ts";
-
-const DONE_ENTRY_TYPE = "pi-topping-done";
-const DEFAULT_WORKING_WORD = "Working…";
-const SHIMMER_INTERVAL = 50;
-const METER_INTERVAL_MS = 100;
-export interface DoneEntryData { word: string; elapsedMs: number; }
-export interface SessionState { startTime: number; currentWord: string; confirmTokens: number; liveTokens: number; shimmerOrigin: number; activityMeter: ActivityMeter; rateTracker: TokRateTracker; lastActivityMeterUpdate: number; timer: ReturnType<typeof setInterval> | null; busy: boolean; }
-export function makeFreshState(): SessionState { return { startTime: 0, currentWord: "", confirmTokens: 0, liveTokens: 0, shimmerOrigin: 0, activityMeter: new ActivityMeter(), rateTracker: new TokRateTracker(), lastActivityMeterUpdate: 0, timer: null, busy: false }; }
-
-/** Owns mutable extension state and Pi lifecycle registrations. */
-export class SessionManager {
-	#counter = new StreamingWordCounter(); #state = makeFreshState(); #settings = loadSettings(); #currentCtx: ExtensionContext | null = null;
-	readonly #pi: ExtensionAPI;
-	constructor(pi: ExtensionAPI) { this.#pi = pi; }
-	install(): void {
-		this.#pi.on("session_start", async (_e, ctx) => { this.stopTimer(); this.#counter.reset(); this.#currentCtx = null; this.#state = makeFreshState(); this.#settings = loadSettings(); this.#state.activityMeter.setDirection(this.#settings.decorations.meterDirection); this.#currentCtx = ctx; if (this.usable(ctx)) this.applyIndicator(ctx); });
-		this.#pi.on("input", async (_e, ctx) => { this.#currentCtx = ctx; if (this.usable(ctx)) this.resetTurn(Date.now()); });
-		this.#pi.on("agent_start", async (_e, ctx) => { this.#currentCtx = ctx; if (!this.usable(ctx)) return; if (!this.#state.startTime) this.resetTurn(Date.now()); this.#state.busy = true; this.startTimer(); this.tick(); });
-		this.#pi.on("message_start", async (e, ctx) => { this.#currentCtx = ctx; if (this.usable(ctx) && e.message.role === "assistant") { this.#state.liveTokens = 0; this.#counter.reset(); } });
-		this.#pi.on("message_update", async (e, ctx) => { this.#currentCtx = ctx; const a = e.assistantMessageEvent; if (this.usable(ctx) && a && (a.type === "text_delta" || a.type === "thinking_delta")) this.#state.liveTokens += this.#counter.count(a.delta, a.type); });
-		this.#pi.on("message_end", async (e, ctx) => { this.#currentCtx = ctx; if (!this.usable(ctx) || e.message.role !== "assistant") return; this.#state.confirmTokens += e.message.usage?.output ?? this.#state.liveTokens; this.#state.liveTokens = 0; this.#counter.reset(); });
-		this.#pi.on("tool_execution_start", async (_e, ctx) => { this.#currentCtx = ctx; if (this.usable(ctx)) { this.#state.currentWord = pickRandomWord(); this.#state.shimmerOrigin = Date.now(); } });
-		this.#pi.on("agent_settled", async (_e, ctx) => { this.#currentCtx = ctx; if (!this.usable(ctx)) return; const hadPrompt = !!this.#state.startTime; const elapsedMs = hadPrompt ? Date.now() - this.#state.startTime : 0; this.#state.busy = false; this.#state.startTime = 0; this.#counter.reset(); this.stopTimer(); ctx.ui.setWorkingMessage(); this.applyIndicator(ctx); this.#state.activityMeter.reset(); this.#state.rateTracker.reset(); this.#state.lastActivityMeterUpdate = 0; if (this.#settings.features.doneMarker && hadPrompt) this.#pi.appendEntry<DoneEntryData>(DONE_ENTRY_TYPE, { word: pickRawWord().past_tense, elapsedMs }); this.#currentCtx = null; });
-		this.#pi.on("session_shutdown", async () => this.stopTimer());
-		this.#pi.registerEntryRenderer<DoneEntryData>(DONE_ENTRY_TYPE, (entry, _o, theme) => entry.data ? new Text(`${theme.fg("text", "π")}${theme.fg("dim", ` ${entry.data.word} for ${formatElapsed(entry.data.elapsedMs)}`)}`) : undefined);
-		this.#pi.registerCommand("topping-settings", { description: "Configure pi-topping's spinner, shimmer, activity meter, and message details.", handler: async (_a, ctx) => this.showSettings(ctx) });
-	}
-	private usable(ctx: ExtensionContext): boolean { return !!ctx.hasUI && ctx.mode !== "print"; }
-	private applyIndicator(ctx: ExtensionContext): void { ctx.ui.setWorkingIndicator(this.#settings.decorations.animatedSpinner ? undefined : { frames: [] }); }
-	private stopTimer(): void { if (this.#state.timer) { clearInterval(this.#state.timer); this.#state.timer = null; } }
-	private startTimer(): void { if (!this.#state.timer) this.#state.timer = setInterval(() => this.tick(), SHIMMER_INTERVAL); }
-	private resetTurn(now: number): void { const s = this.#state; s.startTime = now; s.shimmerOrigin = now; s.currentWord = pickRandomWord(); s.confirmTokens = 0; s.liveTokens = 0; s.activityMeter.reset(); s.rateTracker.reset(); s.lastActivityMeterUpdate = 0; this.#counter.reset(); }
-	private tick(): void { const ctx = this.#currentCtx, s = this.#state; if (!s.busy || !ctx) return; const now = Date.now(), total = s.confirmTokens + s.liveTokens; if (now - s.lastActivityMeterUpdate >= METER_INTERVAL_MS) { s.activityMeter.push(rateToLevel(s.rateTracker.sample(total, now))); s.lastActivityMeterUpdate = now; } const f = this.#settings.features, d = this.#settings.decorations; if (isFullyDefaultAppearance(f, d)) return ctx.ui.setWorkingMessage(); const word = f.substituteDefaultMessage ? s.currentWord : DEFAULT_WORKING_WORD; const styled = d.shimmer ? shimmerString(word, now - s.shimmerOrigin, ctx.ui.theme) : ctx.ui.theme.fg("text", word); const meter = d.tokenActivityMonitor ? s.activityMeter.render((l, c) => ActivityMeter.colorizeCell(l, c, ctx.ui.theme)) : ""; ctx.ui.setWorkingMessage(buildWorkingMessage(ctx.ui.theme, styled, meter, formatElapsed(now - s.startTime), formatTokens(total), f)); }
-	private async showSettings(ctx: ExtensionCommandContext): Promise<void> { if (ctx.mode !== "tui") { ctx.ui.notify("/topping-settings requires TUI mode", "error"); return; } const before = this.#settings.decorations.animatedSpinner; const preview = new PreviewRenderer(ctx); const result = await showMenu<Record<string, boolean>>(ctx, { title: "Pi Topping: Settings", sections: buildMenuSections(this.#settings), hints: ["↑↓ move", "␣ toggle", "⏎ apply", "esc cancel"], preview: preview.render.bind(preview) }); if (!result.applied) return; this.#settings = applyMenuResult(this.#settings, result.values); saveSettings(this.#settings); if (before !== this.#settings.decorations.animatedSpinner) this.applyIndicator(ctx); this.#state.activityMeter.setDirection(this.#settings.decorations.meterDirection); ctx.ui.notify("Pi Topping settings saved", "info"); }
-}

package/settings.ts

@@ -1,215 +0,0 @@
-/**
- * settings.ts
- *
- * Persistent, per-user settings for pi-topping, stored at
- * `~/.pi/agent/pi-topping/settings.json`. All seven toggles
- * default to enabled so behavior is unchanged for users who never open
- * `/topping-settings`.
- */
-
-import { getAgentDir } from "@earendil-works/pi-coding-agent";
-import { mkdirSync, readFileSync, renameSync, writeFileSync } from "node:fs";
-import { dirname, join } from "node:path";
-import type { MenuSection } from "./menu.ts";
-
-export interface DecoratorSettings {
-	decorations: {
-		animatedSpinner: boolean;
-		shimmer: boolean;
-		tokenActivityMonitor: boolean;
-		meterDirection: "ltr" | "rtl";
-	};
-	features: {
-		substituteDefaultMessage: boolean;
-		elapsedTime: boolean;
-		outputTokens: boolean;
-		doneMarker: boolean;
-	};
-}
-
-export const DEFAULT_SETTINGS: DecoratorSettings = {
-	decorations: {
-		animatedSpinner: true,
-		shimmer: true,
-		tokenActivityMonitor: true,
-		meterDirection: "ltr",
-	},
-	features: {
-		substituteDefaultMessage: true,
-		elapsedTime: true,
-		outputTokens: true,
-		doneMarker: true,
-	},
-};
-
-/** Resolve the absolute path to this extension's settings file. */
-export function settingsPath(): string {
-	return join(getAgentDir(), "pi-topping", "settings.json");
-}
-
-/**
- * True for plain `{}`-style objects only -- excludes `null`, arrays, and
- * primitives. Used to guard against malformed/hand-edited settings.json
- * content (e.g. `"decorations": "oops"` or `"decorations": [1,2,3]`) before
- * spreading it onto the defaults, so a wrong-shaped field can't leak stray
- * properties (like numeric-string keys from spreading a string) into the
- * merged settings object.
- */
-function isPlainObject(value: unknown): value is Record<string, unknown> {
-	return typeof value === "object" && value !== null && !Array.isArray(value);
-}
-
-/**
- * Merge persisted JSON values onto a defaults object, accepting both boolean
- * fields and a known enum-typed string field (`meterDirection`). Any unknown
- * or wrong-typed keys are silently ignored so hand-edited settings.json can't
- * corrupt the resulting shape.
- */
-function mergeDecorations(
-	defaults: DecoratorSettings["decorations"],
-	parsed: unknown,
-): DecoratorSettings["decorations"] {
-	const merged = { ...defaults };
-	if (!isPlainObject(parsed)) return merged;
-	for (const [key, value] of Object.entries(parsed)) {
-		if (key === "meterDirection") {
-			if (value === "ltr" || value === "rtl") {
-				merged.meterDirection = value;
-			}
-		} else if (typeof value === "boolean" && key in merged) {
-			(merged as Record<string, unknown>)[key] = value;
-		}
-	}
-	return merged;
-}
-
-function mergeBooleanGroup<T extends Record<string, boolean>>(defaults: T, parsed: unknown): T {
-	const merged = { ...defaults } as T;
-	if (!isPlainObject(parsed)) return merged;
-	for (const [key, value] of Object.entries(parsed)) {
-		if (typeof value === "boolean" && key in merged) {
-			merged[key as keyof T] = value as T[keyof T];
-		}
-	}
-	return merged;
-}
-
-interface DecorationBooleanMenuEntry {
-	id: "animatedSpinner" | "shimmer" | "tokenActivityMonitor";
-	label: string;
-	section: "Decorations";
-	group: "decorations";
-}
-
-interface FeatureBooleanMenuEntry {
-	id: "substituteDefaultMessage" | "elapsedTime" | "outputTokens" | "doneMarker";
-	label: string;
-	section: "Options";
-	group: "features";
-}
-
-interface DirectionMenuEntry {
-	id: "meterDirection_rtl";
-	label: string;
-	section: "Options";
-	group: "decorations";
-}
-
-type MenuEntry = DecorationBooleanMenuEntry | FeatureBooleanMenuEntry | DirectionMenuEntry;
-
-/** The ordered settings-menu schema and its explicit settings conversions. */
-export const MENU_ENTRIES: readonly MenuEntry[] = [
-	{ id: "animatedSpinner", label: "Animated spinner", section: "Decorations", group: "decorations" },
-	{ id: "shimmer", label: "“Working...” text shimmer", section: "Decorations", group: "decorations" },
-	{ id: "tokenActivityMonitor", label: "Token activity monitor", section: "Decorations", group: "decorations" },
-	{ id: "substituteDefaultMessage", label: "Substitute Pi's “Working…” message", section: "Options", group: "features" },
-	{ id: "elapsedTime", label: "Elapsed time since prompt", section: "Options", group: "features" },
-	{ id: "outputTokens", label: "Show output tokens", section: "Options", group: "features" },
-	{ id: "doneMarker", label: "Show completion marker", section: "Options", group: "features" },
-	{ id: "meterDirection_rtl", label: "Scrolling: Right → Left", section: "Options", group: "decorations" },
-];
-
-/** Build the ordered toggle-menu sections from persisted settings. */
-export function buildMenuSections(settings: DecoratorSettings): MenuSection[] {
-	return ["Decorations", "Options"].map((title) => ({
-		title,
-		items: MENU_ENTRIES.filter((entry) => entry.section === title).map((entry) => ({
-			id: entry.id,
-			label: entry.label,
-			value:
-				entry.id === "meterDirection_rtl"
-					? settings.decorations.meterDirection === "rtl"
-					: entry.group === "decorations"
-						? settings.decorations[entry.id]
-						: settings.features[entry.id],
-		})),
-	}));
-}
-
-/** Clone settings and apply recognized menu values, including direction conversion. */
-export function applyMenuResult(
-	settings: DecoratorSettings,
-	values: Record<string, boolean>,
-): DecoratorSettings {
-	const next = structuredClone(settings);
-	for (const entry of MENU_ENTRIES) {
-		const value = values[entry.id];
-		if (value === undefined) continue;
-		if (entry.id === "meterDirection_rtl") {
-			next.decorations.meterDirection = value ? "rtl" : "ltr";
-		} else if (entry.group === "decorations") {
-			next.decorations[entry.id] = value;
-		} else {
-			next.features[entry.id] = value;
-		}
-	}
-	return next;
-}
-
-function cloneDefaults(): DecoratorSettings {
-	return structuredClone(DEFAULT_SETTINGS);
-}
-
-/**
- * Load settings from disk, deep-merging any persisted values onto the
- * defaults. Returns a fresh clone of `DEFAULT_SETTINGS` if the file is
- * missing or contains malformed JSON -- this function never throws.
- */
-export function loadSettings(): DecoratorSettings {
-	const defaults = cloneDefaults();
-	let raw: string;
-	try {
-		raw = readFileSync(settingsPath(), "utf8");
-	} catch {
-		return defaults;
-	}
-
-	try {
-		const parsed = JSON.parse(raw) as Partial<DecoratorSettings> | null;
-		if (!isPlainObject(parsed)) return defaults;
-		return {
-			decorations: mergeDecorations(defaults.decorations, parsed.decorations),
-			features: mergeBooleanGroup(defaults.features, parsed.features),
-		};
-	} catch {
-		return defaults;
-	}
-}
-
-/**
- * Persist settings to disk, creating the parent directory if needed.
- * Writes to a temp file and renames it into place so a crash mid-write
- * (kill -9, OOM, disk full) can never leave `settings.json` truncated or
- * corrupt -- `renameSync` is atomic on POSIX filesystems when source and
- * destination are on the same directory/filesystem, which they always are
- * here. A stale `.tmp` file left behind by a crash is harmless: the next
- * successful `saveSettings()` call overwrites it, and `loadSettings()`
- * never reads it.
- */
-export function saveSettings(settings: DecoratorSettings): void {
-	const path = settingsPath();
-	mkdirSync(dirname(path), { recursive: true });
-	const tmpPath = `${path}.tmp`;
-	writeFileSync(tmpPath, `${JSON.stringify(settings, null, 2)}\n`);
-	renameSync(tmpPath, path);
-}