Skip to content

More Folding #22

@steve-hickman-epistimis

Description

@steve-hickman-epistimis

Folding allows us to collapse/expand parts of a file to hid them from view when we want.
Default folding uses things like '{ & '} or '[' & ']' or '('& ')' to determine where to fold.
There may be other cases where we want to fold.
Identify them and create a plan in the discussion here.

Then follow the doc to actually implement those changes.

Doc:
https://www.eclipse.org/Xtext/documentation/310_eclipse_support.html#folding

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions