compressed-context 0.0.0-stage → 0.1.0

package/src/tui/settings/dialogs.tsx

@@ -0,0 +1,215 @@
+import type { Context } from "@opencode/plugin/tui/context"
+import { createMemo, createSignal, Show, type ParentProps } from "solid-js"
+
+import { formatTokens } from "../../shared/format.ts"
+import type { Messages } from "../../i18n/index.ts"
+import {
+  MAX_TRIGGER_PERCENT,
+  MIN_TRIGGER_PERCENT,
+  parseSummaryPercent,
+  parseTokenCount,
+} from "../../shared/settings.ts"
+import { percentLabel } from "./options.ts"
+
+/**
+ * 输入：TUI 上下文 + 标题 + 内容。
+ * 输出：与原生对话框一致的外框（左右 3 格内边距、标题栏、底部操作行）。
+ * 预期：标题在左、esc 在右；内容区与底部操作行各留一空行。
+ */
+function DialogFrame(
+  props: ParentProps<{ readonly context: Context; readonly title: string; readonly submit: string }>,
+) {
+  const theme = props.context.theme
+  return (
+    <box paddingLeft={3} paddingRight={3} paddingBottom={1} gap={1}>
+      <box flexDirection="row" justifyContent="space-between" gap={1}>
+        <text fg={theme.text.base}>
+          <b>{props.title}</b>
+        </text>
+        <text
+          fg={theme.text.muted}
+          onMouseUp={() => {
+            props.context.ui.dialog.clear()
+          }}
+        >
+          esc
+        </text>
+      </box>
+      <box gap={1}>{props.children}</box>
+      <text fg={theme.text.muted}>{props.submit} enter</text>
+    </box>
+  )
+}
+
+/**
+ * 输入：TUI 上下文 + 文案 + 解析/预览/提示 + 确认回调。
+ * 输出：单行输入对话框；Token/Percent/Threshold 共用。
+ * 预期：只接受 parse 返回数字的输入；非法时显示 invalid，不写入。
+ */
+function DialogInput(props: {
+  readonly context: Context
+  readonly copy: Messages
+  readonly title: string
+  readonly hint: string
+  readonly invalid: string
+  readonly placeholder: string
+  readonly initial: string
+  readonly parse: (text: string) => number | undefined
+  readonly preview: (value: number) => string
+  readonly extra?: string
+  readonly onConfirm: (value: number) => void
+}) {
+  const theme = props.context.theme
+  const [text, setText] = createSignal(props.initial)
+  const parsed = createMemo(() => props.parse(text()))
+  let area: { plainText: string } | undefined
+
+  const confirm = (): void => {
+    const value = parsed()
+    if (value === undefined) return
+    props.onConfirm(value)
+    props.context.ui.dialog.clear()
+  }
+
+  // 原生 DialogPrompt 用模态层接管回车；这里同样注册，避免 textarea 插入换行。
+  props.context.keymap.layer(() => ({
+    mode: "modal",
+    priority: 1,
+    commands: [{ bind: "enter", title: "Submit", group: "Dialog", run: confirm }],
+  }))
+
+  return (
+    <DialogFrame context={props.context} title={props.title} submit={props.copy.settings.submit}>
+      <textarea
+        height={1}
+        wrapMode="none"
+        initialValue={props.initial}
+        placeholder={props.placeholder}
+        placeholderColor={theme.text.muted}
+        textColor={theme.text.formfield.base}
+        focusedTextColor={theme.text.formfield.base}
+        cursorColor={theme.text.base}
+        onContentChange={() => setText(area?.plainText ?? "")}
+        ref={(input) => {
+          area = input
+          setTimeout(() => {
+            if (!input.isDestroyed) input.focus()
+          }, 1)
+        }}
+      />
+      <Show
+        when={parsed() !== undefined}
+        fallback={<text fg={theme.text.feedback.error.base}>{props.invalid}</text>}
+      >
+        <text fg={theme.text.muted}>{props.preview(parsed() ?? 0)}</text>
+      </Show>
+      <Show when={props.extra !== undefined}>
+        <text fg={theme.text.muted}>{props.extra}</text>
+      </Show>
+      <text fg={theme.text.muted}>{props.hint}</text>
+    </DialogFrame>
+  )
+}
+
+/** 输入：TUI 上下文 + 文案 + 标题/提示 + 初始值 + 合法范围 + 确认回调。 */
+export function TokenDialog(props: {
+  readonly context: Context
+  readonly copy: Messages
+  readonly title: string
+  readonly hint: string
+  readonly invalid: string
+  readonly placeholder: string
+  readonly initial: string
+  readonly min: number
+  readonly max: number
+  readonly allowZero?: boolean
+  readonly onConfirm: (value: number) => void
+}) {
+  return (
+    <DialogInput
+      context={props.context}
+      copy={props.copy}
+      title={props.title}
+      hint={props.hint}
+      invalid={props.invalid}
+      placeholder={props.placeholder}
+      initial={props.initial}
+      parse={(text) => {
+        if (props.allowZero === true && text.trim() === "0") return 0
+        return parseTokenCount(text, props.min, props.max)
+      }}
+      preview={(value) =>
+        value === 0 ? props.copy.settings.off : props.copy.settings.limitPreview(formatTokens(value))
+      }
+      onConfirm={props.onConfirm}
+    />
+  )
+}
+
+/** 输入：TUI 上下文 + 文案 + 初始百分比 + 窗口 + 允许范围 + 确认回调。 */
+export function PercentDialog(props: {
+  readonly context: Context
+  readonly copy: Messages
+  readonly title: string
+  readonly hint: string
+  readonly invalid: string
+  readonly initial: number
+  readonly windowTokens: number | undefined
+  readonly minPercent: number
+  readonly maxPercent: number
+  readonly onConfirm: (value: number) => void
+}) {
+  return (
+    <DialogInput
+      context={props.context}
+      copy={props.copy}
+      title={props.title}
+      hint={props.hint}
+      invalid={props.invalid}
+      placeholder="10%"
+      initial={`${props.initial.toString()}%`}
+      parse={(text) => {
+        const value = parseSummaryPercent(text, props.windowTokens)
+        if (value === undefined || value < props.minPercent || value > props.maxPercent) {
+          return undefined
+        }
+        return value
+      }}
+      preview={(value) => percentLabel(value, props.windowTokens)}
+      extra={
+        props.windowTokens === undefined
+          ? props.copy.settings.windowUnknown
+          : props.copy.settings.windowKnown(formatTokens(props.windowTokens))
+      }
+      onConfirm={props.onConfirm}
+    />
+  )
+}
+
+/** 输入：TUI 上下文 + 文案 + 初始值 + 确认回调。 */
+export function ThresholdDialog(props: {
+  readonly context: Context
+  readonly copy: Messages
+  readonly initial: string
+  readonly onConfirm: (value: number) => void
+}) {
+  return (
+    <DialogInput
+      context={props.context}
+      copy={props.copy}
+      title={props.copy.settings.threshold}
+      hint={props.copy.settings.thresholdHint}
+      invalid={props.copy.settings.thresholdInvalid}
+      placeholder="80"
+      initial={props.initial}
+      parse={(text) => {
+        if (!/^\d{1,2}$/.test(text)) return undefined
+        const value = Number(text)
+        if (value < MIN_TRIGGER_PERCENT || value > MAX_TRIGGER_PERCENT) return undefined
+        return value
+      }}
+      preview={(value) => props.copy.settings.thresholdPreview(value.toString())}
+      onConfirm={props.onConfirm}
+    />
+  )
+}

package/src/tui/settings/options.ts

@@ -0,0 +1,238 @@
+import type { DialogSelectOption } from "@opencode/plugin/tui/context"
+
+import { formatTokens } from "../../shared/format.ts"
+import type { Messages } from "../../i18n/index.ts"
+import {
+  effectiveDecompressInlineMax,
+  effectiveDecompressTempCap,
+  effectiveSummaryBlockPercent,
+  effectiveSummaryLanguage,
+  effectiveSummaryTotalPercent,
+  isContextLimit,
+  percentToChars,
+  type Settings,
+} from "../../shared/settings.ts"
+
+/** 输入：设置；输出：当前语言标签；预期：用于设置菜单右侧的当前值。 */
+export function localeLabel(settings: Settings, copy: Messages): string {
+  if (settings.locale === "auto") return copy.settings.auto
+  if (settings.locale === "zh") return copy.languages.zh
+  return copy.languages.en
+}
+
+/** 输入：设置；输出：当前摘要语言标签。 */
+export function summaryLanguageLabel(settings: Settings, copy: Messages): string {
+  const language = effectiveSummaryLanguage(settings)
+  if (language === "zh") return copy.languages.zh
+  if (language === "en") return copy.languages.en
+  return copy.settings.auto
+}
+
+/** 输入：设置 + 已知窗口；输出：上下文上限标签；数字设置是上限，被模型原生窗口压低时显示箭头。 */
+export function limitLabel(settings: Settings, copy: Messages, window: number | undefined): string {
+  const value: unknown = settings.contextLimit
+  if (!isContextLimit(value) || value === "auto") {
+    return window === undefined ? copy.settings.limitAuto : `${copy.settings.limitAuto} (${formatTokens(window)})`
+  }
+  if (window !== undefined && window < value) {
+    return copy.settings.limitCapped(formatTokens(value), formatTokens(window))
+  }
+  return formatTokens(value)
+}
+
+/** 输入：百分比 + 窗口；输出：`10% ≈ 20k` 这样的标签。 */
+export function percentLabel(percent: number, window: number | undefined): string {
+  const chars = percentToChars(percent, window)
+  return chars === undefined
+    ? `${percent.toString()}%`
+    : `${percent.toString()}% ≈ ${formatTokens(chars)}`
+}
+
+/** 输入：设置；输出：主动压缩提醒间隔标签；0 显示为关闭。 */
+export function nudgeLabel(settings: Settings, copy: Messages): string {
+  return settings.nudgeGrowthTokens === 0 ? copy.settings.off : formatTokens(settings.nudgeGrowthTokens)
+}
+
+/** 输入：设置；输出：当前摘要格式标签。 */
+export function summaryFormatLabel(settings: Settings, copy: Messages): string {
+  if (settings.summaryFormat === "babel") return copy.settings.summaryFormatBabel
+  return settings.summaryFormat === "markdown"
+    ? copy.settings.summaryFormatMarkdown
+    : copy.settings.summaryFormatJson
+}
+
+/** 设置菜单里所有可选 action；options.ts 与 settings.tsx 共用。 */
+export const SETTINGS_ACTIONS = [
+  "limit",
+  "threshold",
+  "nudge",
+  "autoCompress",
+  "enableCompressTool",
+  "enableDecompressTool",
+  "blockPercent",
+  "totalPercent",
+  "summaryLanguage",
+  "summaryFormat",
+  "showTimeline",
+  "showBlockTokens",
+  "show",
+  "showCacheChart",
+  "showCacheLog",
+  "showSummaries",
+  "decompressInlineMax",
+  "decompressTempCap",
+  "decompressShowTokens",
+  "language",
+] as const
+
+export type SettingsAction = (typeof SETTINGS_ACTIONS)[number]
+
+/** 设置菜单里可切换的布尔项。 */
+export type ToggleSetting = Extract<
+  SettingsAction,
+  | "autoCompress"
+  | "enableCompressTool"
+  | "enableDecompressTool"
+  | "showTimeline"
+  | "showBlockTokens"
+  | "showCacheChart"
+  | "showCacheLog"
+  | "showSummaries"
+  | "decompressShowTokens"
+>
+
+/**
+ * 输入：当前设置 + 文案 + 已解析窗口。
+ * 输出：按「压缩 / 摘要 / 面板 / 解压 / 界面」分组的设置菜单项。
+ * 预期：纯函数，方便单测；dialog 会按 category 渲染分组标题。
+ */
+export function buildSettingsOptions(input: {
+  readonly settings: Settings
+  readonly copy: Messages
+  readonly window: number | undefined
+}): readonly DialogSelectOption<SettingsAction>[] {
+  const { settings, copy, window } = input
+  const onOff = (value: boolean): string => (value ? copy.settings.on : copy.settings.off)
+  return [
+    {
+      title: copy.settings.limit,
+      value: "limit",
+      footer: limitLabel(settings, copy, window),
+      category: copy.settings.categories.compress,
+    },
+    {
+      title: copy.settings.threshold,
+      value: "threshold",
+      footer: `${settings.triggerPercent.toString()}%`,
+      category: copy.settings.categories.compress,
+    },
+    {
+      title: copy.settings.nudgeGrowth,
+      value: "nudge",
+      footer: nudgeLabel(settings, copy),
+      category: copy.settings.categories.compress,
+    },
+    {
+      title: copy.settings.autoCompress,
+      value: "autoCompress",
+      footer: onOff(settings.autoCompress),
+      category: copy.settings.categories.compress,
+    },
+    {
+      title: copy.settings.enableCompressTool,
+      value: "enableCompressTool",
+      footer: onOff(settings.enableCompressTool),
+      category: copy.settings.categories.compress,
+    },
+    {
+      title: copy.settings.enableDecompressTool,
+      value: "enableDecompressTool",
+      footer: onOff(settings.enableDecompressTool),
+      category: copy.settings.categories.compress,
+    },
+    {
+      title: copy.settings.summaryBlockPercent,
+      value: "blockPercent",
+      footer: percentLabel(effectiveSummaryBlockPercent(settings), window),
+      category: copy.settings.categories.summary,
+    },
+    {
+      title: copy.settings.summaryTotalPercent,
+      value: "totalPercent",
+      footer: percentLabel(effectiveSummaryTotalPercent(settings), window),
+      category: copy.settings.categories.summary,
+    },
+    {
+      title: copy.settings.summaryLanguage,
+      value: "summaryLanguage",
+      footer: summaryLanguageLabel(settings, copy),
+      category: copy.settings.categories.summary,
+    },
+    {
+      title: copy.settings.summaryFormat,
+      value: "summaryFormat",
+      footer: summaryFormatLabel(settings, copy),
+      category: copy.settings.categories.summary,
+    },
+    {
+      title: copy.settings.showTimeline,
+      value: "showTimeline",
+      footer: onOff(settings.showTimeline),
+      category: copy.settings.categories.summary,
+    },
+    {
+      title: copy.settings.showBlockTokens,
+      value: "showBlockTokens",
+      footer: onOff(settings.showBlockTokens),
+      category: copy.settings.categories.summary,
+    },
+    {
+      title: copy.settings.show,
+      value: "show",
+      footer: onOff(settings.enabled),
+      category: copy.settings.categories.panel,
+    },
+    {
+      title: copy.settings.showCacheChart,
+      value: "showCacheChart",
+      footer: onOff(settings.showCacheChart),
+      category: copy.settings.categories.panel,
+    },
+    {
+      title: copy.settings.showCacheLog,
+      value: "showCacheLog",
+      footer: onOff(settings.showCacheLog),
+      category: copy.settings.categories.panel,
+    },
+    {
+      title: copy.settings.showSummaries,
+      value: "showSummaries",
+      footer: onOff(settings.showSummaries),
+      category: copy.settings.categories.panel,
+    },
+    {
+      title: copy.settings.decompressInlineMax,
+      value: "decompressInlineMax",
+      footer: formatTokens(effectiveDecompressInlineMax(settings)),
+      category: copy.settings.categories.decompress,
+    },
+    {
+      title: copy.settings.decompressTempCap,
+      value: "decompressTempCap",
+      footer: effectiveDecompressTempCap(settings).toString(),
+      category: copy.settings.categories.decompress,
+    },
+    {
+      title: copy.settings.decompressShowTokens,
+      value: "decompressShowTokens",
+      footer: onOff(settings.decompressShowTokens),
+      category: copy.settings.categories.decompress,
+    },
+    {
+      title: copy.settings.language,
+      value: "language",
+      footer: localeLabel(settings, copy),
+      category: copy.settings.categories.interface,
+    },
+  ]
+}