Closed alexanderpann closed 5 months ago
This PR fixes https://github.com/JetBrains/MPS-extensions/issues/707 and https://github.com/JetBrains/MPS-extensions/issues/628.
This PR fixes https://github.com/JetBrains/MPS-extensions/issues/707 and https://github.com/JetBrains/MPS-extensions/issues/628.