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.

Sign up for GitHub

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

Jump to bottom

region navigator #51738

Closed
hansyulian opened this issue Jun 13, 2018 · 3 comments
Closed

region navigator #51738

hansyulian opened this issue Jun 13, 2018 · 3 comments
Labels
*duplicate Issue identified as a duplicate of another issue(s) editor-contrib Editor collection of extras feature-request Request for new features or functionality

Comments

@hansyulian
Copy link

So now that we have the #region and #endregion support, can we have a navigator for region? when we click this, then we will right away navigate to one of the region defined in the code. My suggestion of the location of region navigator is either floating on top, right, or bottom of the code editor, or on top of the open editors in explorer as follow:
image

of course included in F1 command also
@vscodebot
Copy link

vscodebot bot commented Jun 13, 2018

(Experimental duplicate detection)
Thanks for submitting this issue. Please also check if it is already covered by an existing one, like:

@vscodebot vscodebot bot added editor editor-contrib Editor collection of extras labels Jun 13, 2018
@RMacfarlane RMacfarlane added the feature-request Request for new features or functionality label Jun 13, 2018
@hansyulian
Copy link
Author

this one is not duplicated right? i did check before that this one should be very different from all related to region

@mjbvz
Copy link
Collaborator

mjbvz commented Oct 8, 2019

Duplicate of #58658 I believe

@mjbvz mjbvz closed this as completed Oct 8, 2019
@mjbvz mjbvz added the *duplicate Issue identified as a duplicate of another issue(s) label Oct 8, 2019
@vscodebot vscodebot bot locked and limited conversation to collaborators Nov 25, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
*duplicate Issue identified as a duplicate of another issue(s) editor-contrib Editor collection of extras feature-request Request for new features or functionality
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@RMacfarlane @alexdima @hansyulian @mjbvz