diff --git a/src/cli-style.ts b/src/cli-style.ts index b128ed7f..7c4e2192 100644 --- a/src/cli-style.ts +++ b/src/cli-style.ts @@ -77,11 +77,6 @@ export function tint(tone: Tone, text: string): string { return TONE_STYLE[tone](text); } -/** Colored glyph for a tone, the `✓ ` / `✗ ` prefix most command output opens with. */ -export function mark(tone: Tone): string { - return tint(tone, glyphFor(tone)); -} - // ───────────────────────────────────────────────────────────────────────────── // Blocks // ───────────────────────────────────────────────────────────────────────────── diff --git a/src/tui/tui-render.ts b/src/tui/tui-render.ts index d673c34d..3e0757a4 100644 --- a/src/tui/tui-render.ts +++ b/src/tui/tui-render.ts @@ -675,7 +675,6 @@ function helpLines(glyphs: TuiGlyphSet, custom?: ReadonlyArray