Closed alexanderpann closed 8 months ago
Small followup of https://github.com/JetBrains/MPS-extensions/pull/708 to not break manual resizing.
Small followup of https://github.com/JetBrains/MPS-extensions/pull/708 to not break manual resizing.