Closed alexanderpann closed 7 months ago
I also do not see a maintenance/mps20223
branch yet. It should be created before merging the PR.
I also do not see a
maintenance/mps20223
branch yet. It should be created before merging the PR.
Yes. In the past I always created it afterwards but I guess it should be part of creating the PR .
This PR implements https://github.com/JetBrains/MPS-extensions/issues/699.
Remaining issues:
com.intellij.diagnostic.PluginException: No display name specified in plugin descriptor XML file for configurable de.slisson.mps.editor.multiline.runtime.plugin.Multiline_Text_PreferencesPage
: reported in MPS-36601