Sticky headers don't work
Hi. I'm using:
Version: 1.71.0-insider (Universal)
Commit: b0895f9fcc5b49587a2b187a92bbe6d7efae35fa
Date: 2022-08-08T05:19:27.279Z (1 yr ago)
Electron: 19.0.11
Chromium: 102.0.5005.167
Node.js: 16.14.2
V8: 10.2.154.15-electron.0
OS: Darwin arm64 22.5.0
Sandboxed: Yes
And the sticky headers don't work at all.
Hi, I just checked and it works fine for me, VSCode version 1.81.1, Have you considered updating your editor? I don't know in what version the sticky header feature became available, maybe it was after 1.71?
Another thing to check - do you have "editor.stickyScroll.enabled": true, in your config? And if so, does it work for other file types e.g. for Python or Javascript?
Works for me, but with room for improvement (recompute inlays for the header when scrolling). Should I open an issue for that?
I have two sample files, the sticky header is not working for the bigger one. Can you please verify on your setup?