Closed sergej-koscejev closed 1 month ago
Btw, wrong project but fixed in https://github.com/JetBrains/MPS-extensions/pull/986
Thanks. It's difficult for me to tell which module is in which project as long as MPS-extensions is merged with mbeddr platform during the build.
In MPS 2023.2 when opening a project with custom project view, occasionally an error balloon appears, with the title "Unable to save settings" and message "Failed to save settings. Please restart JetBrains MPS". The following exception appears in the logs: