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

Sticky scroll for the file explorer #194903

Closed
azephiris opened this issue Oct 5, 2023 · 5 comments
Closed

Sticky scroll for the file explorer #194903

azephiris opened this issue Oct 5, 2023 · 5 comments
Assignees
Labels
feature-request Request for new features or functionality file-explorer Explorer widget issues verification-needed Verification of issue is requested verified Verification succeeded
Milestone

Comments

@azephiris
Copy link

Image for context: Talking about the sticky lines on top of the container.
image

That, but for the file explorer view.
It would show X lines of nestable elements (folders, nesting files, ...) at the top of the file explorer view container.

Example:
image
Would render these items as sticky elements:

  • js
    • Core
      • Html

(In this example I'm using a folder that doesn't have enough items to allow scrolling the file explorer, but you get the idea)

  • Clicking on a sticky element would scroll us to it.
  • Idealy, you can scroll within the sticky container. For example: I only want the last 3 folders shown, but I can scroll the sticky container to show the parent elements.
@jrieken jrieken assigned lramos15 and unassigned jrieken Oct 5, 2023
@lramos15 lramos15 added feature-request Request for new features or functionality file-explorer Explorer widget issues labels Oct 5, 2023
@vscodenpa vscodenpa added this to the Backlog Candidates milestone Oct 5, 2023
@vscodenpa
Copy link

This feature request is now a candidate for our backlog. The community has 60 days to upvote the issue. If it receives 20 upvotes we will move it to our backlog. If not, we will close it. To learn more about how we handle feature requests, please see our documentation.

Happy Coding!

@starball5
Copy link

Related: #161207.

@vscodenpa
Copy link

This feature request has not yet received the 20 community upvotes it takes to make to our backlog. 10 days to go. To learn more about how we handle feature requests, please see our documentation.

Happy Coding!

@vscodenpa
Copy link

🙂 This feature request received a sufficient number of community upvotes and we moved it to our backlog. To learn more about how we handle feature requests, please see our documentation.

Happy Coding!

@vscodenpa vscodenpa modified the milestones: Backlog Candidates, Backlog Nov 26, 2023
@lramos15 lramos15 assigned benibenj and unassigned lramos15 Nov 30, 2023
@lramos15 lramos15 modified the milestones: Backlog, November 2023 Nov 30, 2023
@lramos15
Copy link
Member

All trees now support sticky scroll so the explorer gets this for free thanks to @benibenj

@justschen justschen added verification-needed Verification of issue is requested verified Verification succeeded labels Nov 30, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Jan 14, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
feature-request Request for new features or functionality file-explorer Explorer widget issues verification-needed Verification of issue is requested verified Verification succeeded
Projects
None yet
Development

No branches or pull requests

7 participants