Skip to content

Manual folding #2

@eyudkin

Description

@eyudkin

Hello!
Thanks for the great plugin, it looks very cool.
Unfortunately, I clicked to folded lamda, it expanded and I dont know how to fold this again.
Is it possible to do it manually, by keymap?
And when it will fold again by itself?

Thanks a lot

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions