Closed martin-henz closed 5 months ago
fixes #1689: Rendering a sequence should not increase the indentation level
Tested this in frontend, where indentation works properly now.
fixes #1689: Rendering a sequence should not increase the indentation level
Tested this in frontend, where indentation works properly now.