feat(workspace-search): UI Improvements - #10391

Merged

mikeharv merged 11 commits into

RaspberryPiFoundation:mainfrom

mikeharv:search-focus

Sep 9, 2026

Commits on Aug 31, 2026

feat(workspace-search): Keep search focused while highlighting matches
mikeharv
committed
857a1cf

Commits on Sep 1, 2026

chore: add line break
mikeharv
committed
d6c6bbb
chore: prettier
mikeharv
committed
ff64293
fix: update comment
mikeharv
committed
8907d7c
fix: clarify comments
mikeharv
committed
8e6767f
chore: clarify comment further
mikeharv
committed
f30b6e5
fix: position new block before starting drag
mikeharv
committed
abd1146

Commits on Sep 2, 2026

feat(workspace-search): Grey non-matching blocks during search
mikeharv
committed
f25f4c4

Commits on Sep 3, 2026

chore: removed unneeded changes
mikeharv
committed
e0fea48
chore: remove leftover test
mikeharv
committed
51ef161

Commits on Sep 9, 2026

fix: remove extra focus call branch
mikeharv
committed
cbb33d3