Prepare for release: fix grammar, fix deprecation warnings, new context menu

UniFormal / IntelliJ-MMT

An IntelliJ-Plugin for MMT (under development)

3 stars 1 forks source link

Prepare for release: fix grammar, fix deprecation warnings, new context menu #26

Closed ComFreek closed 4 years ago

ComFreek commented 4 years ago

PS: Indeed, this context menu with 3 entries I had to invest hours in. Relative mouse positions are hard.

ComFreek commented 4 years ago

@Jazzpirate or @rappatoni Please merge, I am done for the release here. Tested to work with latest MMT devel.

ComFreek commented 4 years ago

This is now also updated in the docs at https://uniformal.github.io//doc/applications/intellij/index.html.

rappatoni commented 4 years ago

Nice, I was just about to mention that the right click to show surface syntax functionality seemed to have broken the navigation feature. So the context menu is very much appreciated.