Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

When no document symbol provider use the folding model for the sticky scroll #159198

Merged
merged 14 commits into from
Aug 30, 2022

Conversation

aiday-mar
Copy link
Contributor

Fixes #157165. Here is an example of how it works on a python file. The if/else statements and other possible foldable regions are also stuck to the top.

sticky-scroll-py

@alexdima
Copy link
Member

✨ Very cool!

@jrieken jrieken modified the milestones: August 2022, September 2022 Aug 26, 2022
@aiday-mar aiday-mar requested a review from jrieken August 26, 2022 14:05
jrieken
jrieken previously approved these changes Aug 29, 2022
aiday-mar and others added 7 commits August 29, 2022 14:27
This is because not every test disposes its code editors correctly and leaking contributions (like the `FoldingController`) have weird side-effects (still listening etc). Also, tests at the workbench level don't need editor contribution and editor construction is faster without them

fyi @bpasero
@aiday-mar aiday-mar merged commit f62d2c8 into main Aug 30, 2022
@aiday-mar aiday-mar deleted the aiday/issue157165 branch August 30, 2022 11:02
@github-actions github-actions bot locked and limited conversation to collaborators Oct 14, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add option to base Sticky Scroll on indent, not Document Symbols
5 participants