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

Merged

enf0rc3 merged 4 commits into

mainfrom

wl/search-scrollbar-gutter

Aug 17, 2026

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