Skip to content

Fix 89899 - improve description of editor.foldingStrategy setting#89925

Merged
aeschli merged 1 commit intomicrosoft:masterfrom
gjsjohnmurray:fix-89899
Feb 4, 2020
Merged

Fix 89899 - improve description of editor.foldingStrategy setting#89925
aeschli merged 1 commit intomicrosoft:masterfrom
gjsjohnmurray:fix-89899

Conversation

@gjsjohnmurray
Copy link
Contributor

This PR fixes #89899

image

image

The term 'strategy' has been retained. For one thing, it would be complicated to migrate to a new setting ID. For another, the term 'strategy' is widely used for similar things elsewhere in the product.

@aeschli aeschli assigned aeschli and unassigned alexdima Feb 3, 2020
@aeschli aeschli self-requested a review February 3, 2020 16:13
@aeschli aeschli merged commit 6346697 into microsoft:master Feb 4, 2020
@aeschli
Copy link
Contributor

aeschli commented Feb 4, 2020

Thanks @gjsjohnmurray !

@aeschli aeschli added this to the February 2020 milestone Feb 4, 2020
@aeschli aeschli added the editor-folding Editor code folding issues label Feb 4, 2020
@gjsjohnmurray gjsjohnmurray deleted the fix-89899 branch February 4, 2020 12:14
@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

editor-folding Editor code folding issues

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Incorrect English and punctuation in Settings

3 participants