| commit | e5ad7b7694c47555e3eac3fcb227a4b1b7b781c4 | [log] [tgz] |
|---|---|---|
| author | Pablo Galindo Salgado <Pablogsal@gmail.com> | Thu Jan 01 21:10:52 2026 |
| committer | GitHub <noreply@github.com> | Thu Jan 01 21:10:52 2026 |
| tree | eba3d806bf85168acceafc21f6da19c09bd3b401 | |
| parent | 513ae175bb4839f121b6e6806ec172437f3dcea1 [diff] |
gh-138122: Integrate live profiler TUI with _colorize theming system (#142360) Co-authored-by: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>