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
Disable sticky headers by default #134
Description of the Change
This changes the sticky header config to be disabled by default.
Sticky headers help with orientation, especially with multiple root projects. Unfortunately a lot of hacks are needed and it seems quite unstable. Turning them off by default lets us test it a bit more.
People might be surprised why they are gone.
Carried over from atom/one-dark-ui#257 (comment)