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.

Sign up for GitHub

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

Jump to bottom

expand editor code region styles - fsharp #35919

Merged
merged 1 commit into from
Oct 9, 2017
Merged

expand editor code region styles - fsharp #35919

merged 1 commit into from
Oct 9, 2017

Conversation

pr-yemibedu
Copy link
Contributor

@pr-yemibedu pr-yemibedu commented Oct 9, 2017 •
edited
Loading

Expand editor code region styles. Allow a space after the leading comment indicator. Allow both single line and block comments.
Examples:
// #region name
(* #region name *)

@pr-yemibedu
expand editor code region styles
d95f9a4 
Expand editor code region styles. Allow a space after the leading comment indicator. Allow both single line and block comments.
Examples:
 // #region name
(* region name *)
@pr-yemibedu pr-yemibedu changed the title expand editor code region styles expand editor code region styles - fsharp Oct 9, 2017
@aeschli aeschli merged commit 24d7998 into microsoft:master Oct 9, 2017
@aeschli
Copy link
Contributor

aeschli commented Oct 9, 2017

Thanks @pr-yemibedu !

@aeschli aeschli added this to the October 2017 milestone Oct 9, 2017
@aeschli aeschli added editor-folding Editor code folding issues feature-request Request for new features or functionality labels Oct 9, 2017
@aeschli aeschli added the verification-needed Verification of issue is requested label Nov 1, 2017
@github-actions github-actions bot locked and limited conversation to collaborators Mar 30, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees

@aeschli aeschli

Labels
editor-folding Editor code folding issues feature-request Request for new features or functionality verification-needed Verification of issue is requested
Projects
None yet
Milestone
October 2017
Development

Successfully merging this pull request may close these issues.
2 participants
@pr-yemibedu @aeschli