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 white-spaces after # for region folding in python #44113

Closed
wants to merge 1 commit into from

Conversation

Mrigank11
Copy link
Contributor

It is impossible to use region folding in python with auto-format enabled as it adds space after # automatically. This PR allows one or more whitespace characters between # and region so that region folding can be used with auto-format enabled.

@aeschli
Copy link
Contributor

aeschli commented Apr 16, 2018

Thanks @Mrigank11! (released through #46885)

@aeschli aeschli closed this Apr 16, 2018
@Mrigank11 Mrigank11 deleted the patch-1 branch April 17, 2018 06:49
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants