Skip to content

fix Support #region/#endregion folding #3305#4104

Closed
asukaminato0721 wants to merge 1 commit into
facebook:mainfrom
asukaminato0721:3305
Closed

fix Support #region/#endregion folding #3305#4104
asukaminato0721 wants to merge 1 commit into
facebook:mainfrom
asukaminato0721:3305

Conversation

@asukaminato0721

Copy link
Copy Markdown
Contributor

Summary

Fixes #3305

Added nested #region/#endregion and spaced # region support.
Explicit regions remain enabled independently of optional comment-section folding.

Test Plan

Added collector and end-to-end LSP regression tests.

@github-actions

Copy link
Copy Markdown

According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅

@meta-codesync

meta-codesync Bot commented Jul 10, 2026

Copy link
Copy Markdown
Contributor

@kinto0 has imported this pull request. If you are a Meta employee, you can view this in D111499615.

@kinto0 kinto0 self-assigned this Jul 10, 2026

@yangdanny97 yangdanny97 left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review automatically exported from Phabricator review in Meta.

@meta-codesync meta-codesync Bot closed this in e01374a Jul 14, 2026
@meta-codesync meta-codesync Bot added the Merged label Jul 14, 2026
@meta-codesync

meta-codesync Bot commented Jul 14, 2026

Copy link
Copy Markdown
Contributor

@kinto0 merged this pull request in e01374a.

@asukaminato0721 asukaminato0721 deleted the 3305 branch July 14, 2026 01:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Support #region/#endregion folding

3 participants