Closed kohlhase closed 4 years ago
Will be fixed with the next MMT release version
It seems that MMT v18.0.0 came out 18 days ago and your commit https://github.com/UniFormal/IntelliJ-MMT/commit/cac36b491b5080b3a3a5a95c747c1509888429dc should already have accounted for IntelliJ 2019.2. I still can't find MMT in the marketplace from within IntelliJ 2019.2 Did you push it to the marketplace? :smile:
I did ;)
Note that if you had the plugin previously installed and it was deactivated because of version compatibilities, it might be that it doesn't show in the marketplace because it's already installed. In that case you have to find it in your list of installed plugins, update it and activate it ;)
Reinstalled IntelliJ again, that did it. Thanks!
2019.2 is the new version, and the MMT plugin is incompatible. Unfortunately, I updated.