editor: Fix vertical scroll margin not accounting for file header height - #43521

editor: Fix vertical scroll margin not accounting for file header height#43521

MrSubidubi merged 2 commits into

zed-industries:mainzed-industries/zed:mainfrom

errmayank:editor-vertical-scroll-margin-fixerrmayank/zed:editor-vertical-scroll-margin-fixCopy head branch name to clipboard