feat: group PID picker by category, consolidate selected PIDs - #209

Merged

tzebrowski merged 10 commits into

feat/pid-category-grouping

Aug 15, 2026

Commits on Aug 15, 2026

feat: group PID picker by category, consolidate selected PIDs

tzebrowski
and
claude
committed
ab6dd0a
feat: add jump-to-group index bar to PID picker

tzebrowski
and
claude
committed
447286d
fix: stop PID picker index bar overlapping the list

tzebrowski
and
claude
committed
8f2ea92
fix: enlarge PID picker index markers with vertical text

tzebrowski
and
claude
committed
4481133
fix: make PID picker index bar transparent and non-intrusive

tzebrowski
and
claude
committed
59d93f8
fix: give PID picker index bar a real reserved column

tzebrowski
and
claude
committed
88c72b9
fix: opaque PID picker background, real-pixel list/toolbar alignment

tzebrowski
and
claude
committed
623c056
fix: robust PID picker list alignment, theme-aware marker text

tzebrowski
and
claude
committed
a8e9c03
revert: drop opaque PID picker background

tzebrowski
and
claude
committed
d55c0e0
feat: add selection marker
tzebrowski
committed
0514b40