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

No sticky scrolling for markdown headers #156609

Closed
mjbvz opened this issue Jul 28, 2022 · 3 comments
Closed

No sticky scrolling for markdown headers #156609

mjbvz opened this issue Jul 28, 2022 · 3 comments
Assignees
Labels
editor-sticky-scroll feature-request Request for new features or functionality verified Verification succeeded
Milestone

Comments

@mjbvz
Copy link
Collaborator

mjbvz commented Jul 28, 2022

Testing #156175

  1. Enable sticky scrolling
  2. Open a md file with headers and scroll through it

Bug
Nothing shows up for sticky scrolling

I'd expect the headers to stick (notice how they are present in the outline view)

@aiday-mar aiday-mar added feature-request Request for new features or functionality editor-sticky-scroll labels Jul 29, 2022
@aiday-mar aiday-mar added this to the August 2022 milestone Jul 29, 2022
@hugows
Copy link

hugows commented Aug 5, 2022

I just tried this and had the same expectation!

@aiday-mar
Copy link
Contributor

Fixed by #157483

@mjbvz mjbvz added the verification-needed Verification of issue is requested label Aug 23, 2022
@IanMatthewHuff IanMatthewHuff added verified Verification succeeded and removed verification-needed Verification of issue is requested labels Aug 23, 2022
@IanMatthewHuff
Copy link
Member

Looks good now. Verified.

@github-actions github-actions bot locked and limited conversation to collaborators Sep 24, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
editor-sticky-scroll feature-request Request for new features or functionality verified Verification succeeded
Projects
None yet
Development

No branches or pull requests

4 participants