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

Allow more commands or shortcuts for regions. #134

Open
carlosmgilp opened this issue Apr 14, 2021 · 6 comments
Open

Allow more commands or shortcuts for regions. #134

carlosmgilp opened this issue Apr 14, 2021 · 6 comments
Labels
enhancement New feature or request

Comments

@carlosmgilp
Copy link

Is your feature request related to a problem? Please describe.
Allow more commands or shortcuts to fold and unfold regions.

Describe the solution you'd like
If the region is folded, place the cursor over the region. And allow a shortcut to unfold only that region.
If the region is unfolded, and the cursor is within that region. Allow a shortcut to fold only that region.

@rtogores
Copy link

This can be done clicking on the gutter icons. Anyway you can add your own shortcuts if you wish so.

@carlosmgilp
Copy link
Author

Hello Professor Reinaldo, how are you?
I don't know how to do those two that I want.
I searched for them with Ctrl + Shift + P and then added a shortcut, but I couldn't find them.

@nigma456
Copy link
Contributor

As Reinaldo mentioned the most easy way is to click the collapse button on the left side.
image

@rtogores
Copy link

And you have several keyboard shortcuts already defined...
image

@carlosmgilp
Copy link
Author

As Reinaldo mentioned the most easy way is to click the collapse button on the left side.
image

I currently do it like this.

@carlosmgilp
Copy link
Author

And you have several keyboard shortcuts already defined...
image

So I look for them.
Of these, I only use two.
Fold all regions and unfold all regions.

My opinion is to add two more.
Fold region selected
Unfold region selected

Thanks.

@hualin-wu-2000 hualin-wu-2000 added the enhancement New feature or request label Apr 29, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Development

No branches or pull requests

4 participants