Skip to content

Filter out single-line targets for fold action#400

Merged
pokey merged 3 commits intomainfrom
revert-fold-single
Dec 17, 2021
Merged

Filter out single-line targets for fold action#400
pokey merged 3 commits intomainfrom
revert-fold-single

Conversation

@pokey
Copy link
Copy Markdown
Member

@pokey pokey commented Dec 17, 2021

This reverts commit 8117983 because it broke "fold every state" when one of the statements was a single line

@pokey pokey changed the title Revert "Allow to fold single line (#394)" Filter out single-line targets for fold action Dec 17, 2021
@pokey pokey merged commit 540fbf0 into main Dec 17, 2021
@pokey pokey deleted the revert-fold-single branch December 17, 2021 17:19
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.

2 participants