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.

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

fold code #59014

Closed
baobz opened this issue Sep 20, 2018 · 4 comments
Closed

fold code #59014

baobz opened this issue Sep 20, 2018 · 4 comments
Assignees
Labels
editor-folding Editor code folding issues info-needed Issue requires more information from poster

Comments

@baobz
Copy link

baobz commented Sep 20, 2018

  • VSCode Version:1.27.2
  • OS Version:

Steps to Reproduce:

  1. Fold the code in vscode, close vscode and open it again, the code is not folded

Does this issue occur when all extensions are disabled?: Yes/No

@vscodebot
Copy link

vscodebot bot commented Sep 20, 2018

@vscodebot vscodebot bot added editor editor-folding Editor code folding issues labels Sep 20, 2018
@aeschli
Copy link
Contributor

aeschli commented Sep 21, 2018

That's already implemented and should work. I tried with the latest insiders and all looked good to me.

Do you have the same file open in two editors? Did you make modifications to the file while VSCode was closed?

@aeschli aeschli added the info-needed Issue requires more information from poster label Sep 21, 2018
@baobz
Copy link
Author

baobz commented Sep 25, 2018 via email

@aeschli
Copy link
Contributor

aeschli commented Oct 18, 2018

closing. please reopen if you see this again and have steps to reproduce

@aeschli aeschli closed this as completed Oct 18, 2018
@vscodebot vscodebot bot locked and limited conversation to collaborators Dec 2, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
editor-folding Editor code folding issues info-needed Issue requires more information from poster
Projects
None yet
Development

No branches or pull requests

3 participants