Skip to content

expand editor code region styles - fsharp#35919

Merged
aeschli merged 1 commit intomicrosoft:masterfrom
pr-yemibedu:master
Oct 9, 2017
Merged

expand editor code region styles - fsharp#35919
aeschli merged 1 commit intomicrosoft:masterfrom
pr-yemibedu:master

Conversation

@pr-yemibedu
Copy link
Contributor

@pr-yemibedu pr-yemibedu commented Oct 9, 2017

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 *)

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.

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

Development

Successfully merging this pull request may close these issues.

2 participants