Skip to content

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
Merged

Make TUI themes data: JSON theme files with user and project discovery#374
alejandro-ao merged 8 commits into
huggingface:mainfrom
rian-dolphin:feat/custom-tui-themes

fix(tui): preserve current built-in theme styling

65747d1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Documentation build
succeeded Jul 18, 2026 in 14s