refactor(tui): finish V2 theme migration (#38383)

This commit is contained in:
James Long 2026-07-22 17:56:22 -04:00 committed by GitHub
commit b6e14b5a74
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
15 changed files with 46 additions and 119 deletions

View file

@ -16,10 +16,9 @@ export type ID = typeof ID.Type
export const Name = Schema.String.pipe(Schema.brand("Agent.Name"))
export type Name = typeof Name.Type
export const Color = Schema.Union([
Schema.String.check(Schema.isPattern(/^#[0-9a-fA-F]{6}$/)),
Schema.Literals(["primary", "secondary", "accent", "success", "warning", "error", "info"]),
]).annotate({ identifier: "Agent.Color" })
export const Color = Schema.String.annotate({ identifier: "Agent.Color" }).check(
Schema.isPattern(/^#[0-9a-fA-F]{6}$/),
)
export type Color = typeof Color.Type
export interface Info extends Schema.Schema.Type<typeof Info> {}