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

Can FindWidget in editor be set to draggable #190544

Closed
yiliang114 opened this issue Aug 16, 2023 · 4 comments
Closed

Can FindWidget in editor be set to draggable #190544

yiliang114 opened this issue Aug 16, 2023 · 4 comments
Assignees
Labels
editor-find Editor find operations feature-request Request for new features or functionality

Comments

@yiliang114
Copy link
Contributor

yiliang114 commented Aug 16, 2023

image

When the screen is small or the editor is grouped, the sticky scroll part will overlap with the findWidget in editor, but because the findWidget in editor cannot be dragged, the sticky scroll part will block the information and can only be closed.

Hope:

It can be dragged in a partial range like looking for FindWidget on file tree
image

Or the findWidget in editor should be relatived top positioning from the bottom of sticky scroll part

@aiday-mar aiday-mar assigned rebornix and unassigned aiday-mar Aug 16, 2023
@rebornix rebornix added feature-request Request for new features or functionality editor-find Editor find operations labels Aug 22, 2023
@vscodenpa vscodenpa added this to the Backlog Candidates milestone Aug 22, 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!

@yiliang114
Copy link
Contributor Author

If this change is needed, I can handle it. You can also set the search component in the editor to be movable in a similar range to the search component on the file tree @rebornix

@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

🙁 In the last 60 days, this feature request has received less than 20 community upvotes and we closed it. Still a big Thank You to you for taking the time to create this issue! To learn more about how we handle feature requests, please see our documentation.

Happy Coding!

@vscodenpa vscodenpa closed this as not planned Won't fix, can't repro, duplicate, stale Oct 22, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Dec 6, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
editor-find Editor find operations feature-request Request for new features or functionality
Projects
None yet
Development

No branches or pull requests

4 participants