Bug fix alt+enter intentions not corresponding to context actions

discipl / flinteditor-mps

GNU General Public License v3.0

2 stars 3 forks source link

Closed TristanAlbers closed 2 years ago

TristanAlbers commented 2 years ago

Intentions shown were trivial ECL selections, added check to filter trivial selections