Make TUI themes data: JSON theme files with user and project discovery#374

Merged

alejandro-ao merged 8 commits into

huggingface:mainfrom

rian-dolphin:feat/custom-tui-themes

Jul 18, 2026

Commits on Jul 16, 2026

feat(tui): load themes from JSON files with user/project discovery
rian-dolphin
committed

Commits on Jul 17, 2026

Merge remote-tracking branch 'upstream/main' into feat/custom-tui-themes
rian-dolphin
committed