search

JetBrains / MPS-extensions

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

Multiline: Add a dummy role #772

Closed alexanderpann closed 7 months ago

alexanderpann commented 7 months ago

The PR fixes an issue when pressing shift+enter didn't enter a new line in the current text but in the next collection in the editor. Partly fixes https://github.com/JetBrains/MPS-extensions/issues/769.