@marckrenn/pi-sub-bar 1.0.0

package/src/settings-types.ts

@@ -0,0 +1,542 @@
+/**
+ * Settings types and defaults for sub-bar
+ */
+
+import type { CoreSettings, ProviderName } from "@marckrenn/pi-sub-shared";
+import { PROVIDERS } from "@marckrenn/pi-sub-shared";
+import type { ThemeColor } from "@mariozechner/pi-coding-agent";
+
+/**
+ * Bar display style
+ */
+export type BarStyle = "bar" | "percentage" | "both";
+
+/**
+ * Bar rendering type
+ */
+export type BarType = "horizontal-bar" | "horizontal-single" | "vertical" | "braille" | "shade";
+
+/**
+ * Color scheme for usage bars
+ */
+export type ColorScheme = "monochrome" | "base-warning-error" | "success-base-warning-error";
+
+/**
+ * Progress bar character style
+ */
+export type BarCharacter = "light" | "heavy" | "double" | "block" | (string & {});
+
+/**
+ * Divider character style
+ */
+export type DividerCharacter =
+	| "none"
+	| "blank"
+	| "|"
+	| "│"
+	| "┃"
+	| "┆"
+	| "┇"
+	| "║"
+	| "•"
+	| "●"
+	| "○"
+	| "◇"
+	| (string & {});
+
+/**
+ * Widget line wrapping mode
+ */
+export type WidgetWrapping = "truncate" | "wrap";
+
+/**
+ * Widget placement
+ */
+export type WidgetPlacement = "belowEditor";
+
+/**
+ * Alignment for the widget
+ */
+export type DisplayAlignment = "left" | "center" | "right" | "split";
+
+/**
+ * Provider label prefix
+ */
+export type ProviderLabel = "plan" | "subscription" | "sub" | "none" | (string & {});
+
+/**
+ * Reset timer format
+ */
+export type ResetTimeFormat = "relative" | "datetime";
+
+/**
+ * Reset timer containment style
+ */
+export type ResetTimerContainment = "none" | "blank" | "()" | "[]" | "<>" | (string & {});
+
+/**
+ * Status indicator display mode
+ */
+export type StatusIndicatorMode = "icon" | "text" | "icon+text";
+
+/**
+ * Status icon pack selection
+ */
+export type StatusIconPack = "minimal" | "emoji" | "custom";
+
+export interface UsageColorTargets {
+	title: boolean;
+	timer: boolean;
+	bar: boolean;
+	usageLabel: boolean;
+	status: boolean;
+}
+
+/**
+ * Divider color options (subset of theme colors).
+ */
+export const DIVIDER_COLOR_OPTIONS = [
+	"primary",
+	"text",
+	"muted",
+	"dim",
+	"success",
+	"warning",
+	"error",
+	"border",
+	"borderMuted",
+	"borderAccent",
+] as const;
+
+export type DividerColor = (typeof DIVIDER_COLOR_OPTIONS)[number];
+
+/**
+ * Background color options (theme background colors).
+ */
+export const BACKGROUND_COLOR_OPTIONS = [
+	"selectedBg",
+	"userMessageBg",
+	"customMessageBg",
+	"toolPendingBg",
+	"toolSuccessBg",
+	"toolErrorBg",
+] as const;
+
+export type BackgroundColor = (typeof BACKGROUND_COLOR_OPTIONS)[number];
+
+/**
+ * Base text/background color options.
+ */
+export const BASE_COLOR_OPTIONS = [...DIVIDER_COLOR_OPTIONS, ...BACKGROUND_COLOR_OPTIONS] as const;
+
+/**
+ * Base text color for widget labels
+ */
+export type BaseTextColor = (typeof BASE_COLOR_OPTIONS)[number];
+
+export function normalizeDividerColor(value?: string): DividerColor {
+	if (!value) return "borderMuted";
+	if (value === "accent" || value === "primary") return "primary";
+	if ((DIVIDER_COLOR_OPTIONS as readonly string[]).includes(value)) {
+		return value as DividerColor;
+	}
+	return "borderMuted";
+}
+
+export function resolveDividerColor(value?: string): ThemeColor {
+	const normalized = normalizeDividerColor(value);
+	switch (normalized) {
+		case "primary":
+			return "accent";
+		case "border":
+		case "borderMuted":
+		case "borderAccent":
+		case "success":
+		case "warning":
+		case "error":
+		case "muted":
+		case "dim":
+		case "text":
+			return normalized as ThemeColor;
+		default:
+			return "borderMuted";
+	}
+}
+
+export function isBackgroundColor(value?: BaseTextColor): value is BackgroundColor {
+	return !!value && (BACKGROUND_COLOR_OPTIONS as readonly string[]).includes(value);
+}
+
+export function normalizeBaseTextColor(value?: string): BaseTextColor {
+	if (!value) return "dim";
+	if (value === "accent" || value === "primary") return "primary";
+	if ((BASE_COLOR_OPTIONS as readonly string[]).includes(value)) {
+		return value as BaseTextColor;
+	}
+	return "dim";
+}
+
+export function resolveBaseTextColor(value?: string): BaseTextColor {
+	return normalizeBaseTextColor(value);
+}
+
+/**
+ * Bar width configuration
+ */
+export type BarWidth = number | "fill";
+
+/**
+ * Divider blank spacing configuration
+ */
+export type DividerBlanks = number | "fill";
+
+/**
+ * Provider settings (UI-only)
+ */
+export interface BaseProviderSettings {
+	/** Show status indicator */
+	showStatus: boolean;
+}
+
+export interface AnthropicProviderSettings extends BaseProviderSettings {
+	windows: {
+		show5h: boolean;
+		show7d: boolean;
+		showExtra: boolean;
+	};
+}
+
+export interface CopilotProviderSettings extends BaseProviderSettings {
+	showMultiplier: boolean;
+	showRequestsLeft: boolean;
+	quotaDisplay: "percentage" | "requests";
+	windows: {
+		showMonth: boolean;
+	};
+}
+
+export interface GeminiProviderSettings extends BaseProviderSettings {
+	windows: {
+		showPro: boolean;
+		showFlash: boolean;
+	};
+}
+
+export interface AntigravityProviderSettings extends BaseProviderSettings {
+	windows: {
+		showClaude: boolean;
+		showPro: boolean;
+		showFlash: boolean;
+	};
+}
+
+export interface CodexProviderSettings extends BaseProviderSettings {
+	invertUsage: boolean;
+	windows: {
+		showPrimary: boolean;
+		showSecondary: boolean;
+	};
+}
+
+export interface KiroProviderSettings extends BaseProviderSettings {
+	windows: {
+		showCredits: boolean;
+	};
+}
+
+export interface ZaiProviderSettings extends BaseProviderSettings {
+	windows: {
+		showTokens: boolean;
+		showMonthly: boolean;
+	};
+}
+
+export interface ProviderSettingsMap {
+	anthropic: AnthropicProviderSettings;
+	copilot: CopilotProviderSettings;
+	gemini: GeminiProviderSettings;
+	antigravity: AntigravityProviderSettings;
+	codex: CodexProviderSettings;
+	kiro: KiroProviderSettings;
+	zai: ZaiProviderSettings;
+}
+
+export type { BehaviorSettings, CoreSettings } from "@marckrenn/pi-sub-shared";
+
+/**
+ * Display settings
+ */
+export interface DisplaySettings {
+	/** Alignment */
+	alignment: DisplayAlignment;
+	/** Bar display style */
+	barStyle: BarStyle;
+	/** Bar type */
+	barType: BarType;
+	/** Width of the progress bar in characters */
+	barWidth: BarWidth;
+	/** Progress bar character */
+	barCharacter: BarCharacter;
+	/** Contain bar within ▕ and ▏ */
+	containBar: boolean;
+	/** Fill empty braille segments with dim full blocks */
+	brailleFillEmpty: boolean;
+	/** Use full braille blocks for filled segments */
+	brailleFullBlocks: boolean;
+	/** Color scheme for bars */
+	colorScheme: ColorScheme;
+	/** Elements colored by the usage scheme */
+	usageColorTargets: UsageColorTargets;
+	/** Reset time display position */
+	resetTimePosition: "off" | "front" | "back" | "integrated";
+	/** Reset time format */
+	resetTimeFormat: ResetTimeFormat;
+	/** Reset timer containment */
+	resetTimeContainment: ResetTimerContainment;
+	/** Status indicator mode */
+	statusIndicatorMode: StatusIndicatorMode;
+	/** Status icon pack */
+	statusIconPack: StatusIconPack;
+	/** Custom status icon pack (four characters) */
+	statusIconCustom: string;
+	/** Show divider between status and provider */
+	statusProviderDivider: boolean;
+	/** Dismiss status when operational */
+	statusDismissOk: boolean;
+	/** Show provider display name */
+	showProviderName: boolean;
+	/** Provider label prefix */
+	providerLabel: ProviderLabel;
+	/** Show colon after provider label */
+	providerLabelColon: boolean;
+	/** Bold provider name and colon */
+	providerLabelBold: boolean;
+	/** Base text color for widget labels */
+	baseTextColor: BaseTextColor;
+	/** Background color for the widget line */
+	backgroundColor: BaseTextColor;
+	/** Show window titles (5h, Week, etc.) */
+	showWindowTitle: boolean;
+	/** Bold window titles (5h, Week, etc.) */
+	boldWindowTitle: boolean;
+	/** Show usage labels (used/rem.) */
+	showUsageLabels: boolean;
+	/** Divider character */
+	dividerCharacter: DividerCharacter;
+	/** Divider color */
+	dividerColor: DividerColor;
+	/** Blanks before and after divider */
+	dividerBlanks: DividerBlanks;
+	/** Show divider between provider label and usage */
+	showProviderDivider: boolean;
+	/** Connect divider glyphs to the bottom divider line */
+	dividerFooterJoin: boolean;
+	/** Show divider line above the bar */
+	showTopDivider: boolean;
+	/** Show divider line below the bar */
+	showBottomDivider: boolean;
+	/** Widget line wrapping */
+	widgetWrapping: WidgetWrapping;
+	/** Left/right padding inside widget */
+	paddingX: number;
+	/** Widget placement */
+	widgetPlacement: WidgetPlacement;
+	/** Error threshold (percentage remaining below this = red) */
+	errorThreshold: number;
+	/** Warning threshold (percentage remaining below this = yellow) */
+	warningThreshold: number;
+	/** Success threshold (percentage remaining above this = green, gradient only) */
+	successThreshold: number;
+}
+
+
+/**
+ * All settings
+ */
+export interface DisplayTheme {
+	id: string;
+	name: string;
+	display: DisplaySettings;
+	source?: "saved" | "imported";
+}
+
+export interface Settings extends Omit<CoreSettings, "providers"> {
+	/** Version for migration */
+	version: number;
+	/** Provider-specific UI settings */
+	providers: ProviderSettingsMap;
+	/** Display settings */
+	display: DisplaySettings;
+	/** Stored display themes */
+	displayThemes: DisplayTheme[];
+	/** Snapshot of the previous display theme */
+	displayUserTheme: DisplaySettings | null;
+	/** Pinned provider override for display */
+	pinnedProvider: ProviderName | null;
+}
+
+/**
+ * Current settings version
+ */
+export const SETTINGS_VERSION = 2;
+
+/**
+ * Default settings
+ */
+export function getDefaultSettings(): Settings {
+	return {
+		version: SETTINGS_VERSION,
+		providers: {
+			anthropic: {
+				showStatus: true,
+				windows: {
+					show5h: true,
+					show7d: true,
+					showExtra: true,
+				},
+			},
+			copilot: {
+				showStatus: true,
+				showMultiplier: true,
+				showRequestsLeft: true,
+				quotaDisplay: "percentage",
+				windows: {
+					showMonth: true,
+				},
+			},
+			gemini: {
+				showStatus: true,
+				windows: {
+					showPro: true,
+					showFlash: true,
+				},
+			},
+			antigravity: {
+				showStatus: false,
+				windows: {
+					showClaude: true,
+					showPro: true,
+					showFlash: true,
+				},
+			},
+			codex: {
+				showStatus: true,
+				invertUsage: false,
+				windows: {
+					showPrimary: true,
+					showSecondary: true,
+				},
+			},
+			kiro: {
+				showStatus: false,
+				windows: {
+					showCredits: true,
+				},
+			},
+			zai: {
+				showStatus: false,
+				windows: {
+					showTokens: true,
+					showMonthly: true,
+				},
+			},
+		},
+		display: {
+			alignment: "split",
+			barStyle: "both",
+			barType: "horizontal-bar",
+			barWidth: "fill",
+			barCharacter: "heavy",
+			containBar: false,
+			brailleFillEmpty: false,
+			brailleFullBlocks: false,
+			colorScheme: "base-warning-error",
+			usageColorTargets: {
+				title: true,
+				timer: true,
+				bar: true,
+				usageLabel: true,
+				status: true,
+			},
+			resetTimePosition: "front",
+			resetTimeFormat: "relative",
+			resetTimeContainment: "blank",
+			statusIndicatorMode: "icon",
+			statusIconPack: "emoji",
+			statusIconCustom: "✓⚠×?",
+			statusProviderDivider: false,
+			statusDismissOk: true,
+			showProviderName: true,
+			providerLabel: "none",
+			providerLabelColon: false,
+			providerLabelBold: true,
+			baseTextColor: "muted",
+			backgroundColor: "text",
+			showWindowTitle: true,
+			boldWindowTitle: true,
+			showUsageLabels: true,
+			dividerCharacter: "│",
+			dividerColor: "dim",
+			dividerBlanks: 1,
+			showProviderDivider: true,
+			dividerFooterJoin: true,
+			showTopDivider: false,
+			showBottomDivider: true,
+			paddingX: 1,
+			widgetPlacement: "belowEditor",
+			errorThreshold: 25,
+			warningThreshold: 50,
+			widgetWrapping: "truncate",
+			successThreshold: 75,
+		},
+
+		displayThemes: [],
+		displayUserTheme: null,
+		pinnedProvider: null,
+
+		behavior: {
+			refreshInterval: 60,
+			refreshOnTurnStart: false,
+			refreshOnToolResult: false,
+		},
+		statusRefresh: {
+			refreshInterval: 60,
+			refreshOnTurnStart: false,
+			refreshOnToolResult: false,
+		},
+		providerOrder: [...PROVIDERS],
+		defaultProvider: null,
+	};
+}
+
+/**
+ * Deep merge two objects
+ */
+function deepMerge<T extends object>(target: T, source: Partial<T>): T {
+	const result = { ...target };
+	for (const key of Object.keys(source) as (keyof T)[]) {
+		const sourceValue = source[key];
+		const targetValue = target[key];
+		if (
+			sourceValue !== undefined &&
+			typeof sourceValue === "object" &&
+			sourceValue !== null &&
+			!Array.isArray(sourceValue) &&
+			typeof targetValue === "object" &&
+			targetValue !== null &&
+			!Array.isArray(targetValue)
+		) {
+			result[key] = deepMerge(targetValue, sourceValue as Partial<typeof targetValue>);
+		} else if (sourceValue !== undefined) {
+			result[key] = sourceValue as T[keyof T];
+		}
+	}
+	return result;
+}
+
+/**
+ * Merge settings with defaults (no legacy migrations).
+ */
+export function mergeSettings(loaded: Partial<Settings>): Settings {
+	return deepMerge(getDefaultSettings(), loaded);
+}

package/src/settings-ui.ts

@@ -0,0 +1,5 @@
+/**
+ * Settings UI entry point (re-export).
+ */
+
+export { showSettingsUI } from "./settings/ui.js";

package/src/settings.ts

@@ -0,0 +1,159 @@
+/**
+ * Settings persistence for sub-bar
+ */
+
+import * as path from "node:path";
+import type { Settings } from "./settings-types.js";
+import { getDefaultSettings, mergeSettings } from "./settings-types.js";
+import { getStorage } from "./storage.js";
+import { getSettingsPath } from "./paths.js";
+
+/**
+ * Settings file path
+ */
+export const SETTINGS_PATH = getSettingsPath();
+
+/**
+ * In-memory settings cache
+ */
+let cachedSettings: Settings | undefined;
+
+/**
+ * Ensure the settings directory exists
+ */
+function ensureSettingsDir(): void {
+	const storage = getStorage();
+	const dir = path.dirname(SETTINGS_PATH);
+	storage.ensureDir(dir);
+}
+
+/**
+ * Parse settings file contents
+ */
+function parseSettings(content: string): Settings {
+	const loaded = JSON.parse(content) as Partial<Settings>;
+	return mergeSettings({
+		version: loaded.version,
+		display: loaded.display,
+		providers: loaded.providers,
+		displayThemes: loaded.displayThemes,
+		displayUserTheme: loaded.displayUserTheme,
+		pinnedProvider: loaded.pinnedProvider,
+	} as Partial<Settings>);
+}
+
+function loadSettingsFromDisk(): Settings | null {
+	const storage = getStorage();
+	try {
+		if (storage.exists(SETTINGS_PATH)) {
+			const content = storage.readFile(SETTINGS_PATH);
+			if (content) {
+				return parseSettings(content);
+			}
+		}
+	} catch {
+		return null;
+	}
+	return null;
+}
+
+/**
+ * Load settings from disk
+ */
+export function loadSettings(): Settings {
+	if (cachedSettings) {
+		return cachedSettings;
+	}
+
+	try {
+		const diskSettings = loadSettingsFromDisk();
+		if (diskSettings) {
+			cachedSettings = diskSettings;
+			return cachedSettings;
+		}
+	} catch (error) {
+		console.error(`Failed to load settings from ${SETTINGS_PATH}:`, error);
+	}
+
+	// Return defaults if file doesn't exist or failed to load
+	cachedSettings = getDefaultSettings();
+	return cachedSettings;
+}
+
+/**
+ * Save settings to disk
+ */
+export function saveSettings(settings: Settings): boolean {
+	const storage = getStorage();
+	try {
+		ensureSettingsDir();
+		let next = settings;
+		if (cachedSettings) {
+			const diskSettings = loadSettingsFromDisk();
+			if (diskSettings) {
+				const displayChanged = JSON.stringify(settings.display) !== JSON.stringify(cachedSettings.display);
+				const providersChanged = JSON.stringify(settings.providers) !== JSON.stringify(cachedSettings.providers);
+				const themesChanged = JSON.stringify(settings.displayThemes) !== JSON.stringify(cachedSettings.displayThemes);
+				const userThemeChanged = JSON.stringify(settings.displayUserTheme) !== JSON.stringify(cachedSettings.displayUserTheme);
+				const pinnedChanged = settings.pinnedProvider !== cachedSettings.pinnedProvider;
+
+				next = {
+					...diskSettings,
+					version: settings.version,
+					display: displayChanged ? settings.display : diskSettings.display,
+					providers: providersChanged ? settings.providers : diskSettings.providers,
+					displayThemes: themesChanged ? settings.displayThemes : diskSettings.displayThemes,
+					displayUserTheme: userThemeChanged ? settings.displayUserTheme : diskSettings.displayUserTheme,
+					pinnedProvider: pinnedChanged ? settings.pinnedProvider : diskSettings.pinnedProvider,
+				};
+			}
+		}
+		const content = JSON.stringify({
+			version: next.version,
+			display: next.display,
+			providers: next.providers,
+			displayThemes: next.displayThemes,
+			displayUserTheme: next.displayUserTheme,
+			pinnedProvider: next.pinnedProvider,
+		}, null, 2);
+		storage.writeFile(SETTINGS_PATH, content);
+		cachedSettings = next;
+		return true;
+	} catch (error) {
+		console.error(`Failed to save settings to ${SETTINGS_PATH}:`, error);
+		return false;
+	}
+}
+
+/**
+ * Reset settings to defaults
+ */
+export function resetSettings(): Settings {
+	const defaults = getDefaultSettings();
+	const current = getSettings();
+	const next = {
+		...current,
+		display: defaults.display,
+		providers: defaults.providers,
+		displayThemes: defaults.displayThemes,
+		displayUserTheme: defaults.displayUserTheme,
+		pinnedProvider: defaults.pinnedProvider,
+		version: defaults.version,
+	};
+	saveSettings(next);
+	return next;
+}
+
+/**
+ * Get current settings (cached)
+ */
+export function getSettings(): Settings {
+	return loadSettings();
+}
+
+/**
+ * Clear the settings cache (force reload on next access)
+ */
+export function clearSettingsCache(): void {
+	cachedSettings = undefined;
+}