Skip to content

inBrowser: add auto-indent #23

@nmaguiar

Description

@nmaguiar

Switching between formats already produces an auto-indent as a side-effect. A specific option could be added to do this without having to switch between visualization/edition formats.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions