Skip to content

Feature: Unfold all block comments command (Fixes #85783) #250410

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

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

Enzo-Nunes
Copy link
Contributor

This pull request addresses a long-requested feature by extending the editor's folding functionality. Previously, while the editor’s folding supported various regions, only folding (not unfolding) was available for block comment sections. With this update, users can now unfold all block comment sections at once as well. (Fixes #85783)

Specifically, this adds the "Unfold All Block Comments" command, with the key binding 'Ctrl+K Ctrl+Shift+/', complementing the existing "Fold All Block Comments" command ('Ctrl+K Ctrl+/').

This new command enables users to quickly unfold all block comments in the editor without affecting other folded regions. Additionally, folding and unfolding tests have been added to verify the functionality.

Co-Authored by @Barros1902

Adds the 'Unfold All Block Comments' command. Keychord was set to
`Ctrl+K Ctrl+Shift+/`, in contrast with the 'Fold All Block Comments'
command, which is set to `Ctrl+K Ctrl+/`.

This command allows users to quickly unfold all block comments in the
editor without affecting other folded regions.

Co-authored-by: Tomás Barros <tomas.de.barros@tecnico.ulisboa.pt>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[folding] add command unfold block comments
2 participants