Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix sticky header from covering auto-revealed items #252
Description of the Change
This fixes the sticky headers from covering auto-revealed items in the tree-view. See this comment for more details: #246 (comment)
Use JS to change the scroll position. But better to keep it theme only.
Item is visible when auto-revealed
There could be side effects.
This is a follow-up fix for #246.