search

JetBrains / MPS-extensions

MPS-extensions aims to ease language development within MPS.
https://jetbrains.github.io/MPS-extensions/
Apache License 2.0
83 stars 52 forks source link

Grammer Cell - Optional cell makes children very indented #551

Closed elmeryang closed 3 months ago

elmeryang commented 2 years ago

After migrating to MPS 2021.3, I see that optional cells adds unwanted indentation to child node. It probably has something to do with the cell using horizontal layouts somewhere. Here’s an example without optional cell:

Screen Shot 2022-09-28 at 5 31 44 PM Screen Shot 2022-09-28 at 5 31 48 PM

And with optional cell:

Screen Shot 2022-09-28 at 5 31 05 PM Screen Shot 2022-09-28 at 5 31 10 PM

Is there a way to make the optional cell not wrap the child node in horizontal layout so that the indentation is not there? Thanks Here is the example project in the screenshots: https://github.com/elmeryang/optional-cell-indentation

alexanderpann commented 3 months ago

Not reproducible anymore. Probably fixed through https://github.com/JetBrains/MPS-extensions/pull/697.