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

[folding] sections are still folded when disabled in preferences #3899

Closed
cuiviemen opened this issue Mar 9, 2016 · 0 comments
Closed

[folding] sections are still folded when disabled in preferences #3899

cuiviemen opened this issue Mar 9, 2016 · 0 comments
Assignees
@weinand
Labels
bug Issue identified by VS Code Team member as probable bug editor-folding Editor code folding issues verified Verification succeeded
Milestone
March 2016

Comments

@cuiviemen
Copy link

Enable folding in preferences.
Fold section(s).
Disable folding in preferences.

Actual results:
Section(s) are still folded and cannot be unfolded because the section with fold/unfold symbols is hidden. Glyph(s) at the end of the folded section(s) first line is visible.

Expected results:
All sections unfolded and the section with fold/unfold symbols is hidden. Glyph(s) at the end of the first section(s) line should not be visible.
@aeschli aeschli added bug Issue identified by VS Code Team member as probable bug editor-folding Editor code folding issues labels Mar 9, 2016
@aeschli aeschli added this to the March 2016 milestone Mar 9, 2016
@aeschli aeschli closed this as completed in 0af2119 Mar 9, 2016
aeschli added a commit that referenced this issue Mar 11, 2016
@aeschli
fixes #3899: [folding] sections are still folded when disabled in pre…
ed5e460 
…ferences
@aeschli aeschli assigned weinand and unassigned aeschli Mar 11, 2016
@weinand weinand added the verified Verification succeeded label Mar 11, 2016
@vscodebot vscodebot bot locked and limited conversation to collaborators Nov 18, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@weinand weinand

Labels
bug Issue identified by VS Code Team member as probable bug editor-folding Editor code folding issues verified Verification succeeded
Projects
None yet
Milestone
March 2016
Development

No branches or pull requests
4 participants
@weinand @isidorn @cuiviemen @aeschli