Reserve the scrollbar gutter so the header stops shifting when search opens - #3364

Draft

enf0rc3 wants to merge 4 commits into

mainfrom

wl/search-scrollbar-gutter

Commits on Aug 14, 2026

Stop the header shifting when search takes the scrollbar away

enf0rc3
and
claude
committed
df07e51
Reserve the scrollbar gutter instead of compensating in JS

enf0rc3
and
claude
committed
7f62c19
Carry the search dimming across the scrollbar gutter

enf0rc3
and
claude
committed
b16b2f7
Use American spelling in the gutter comment

enf0rc3
and
claude
committed
279cc05