search

UniFormal / IntelliJ-MMT

An IntelliJ-Plugin for MMT (under development)
3 stars 1 forks source link

keyboard shortcut for start typechecking #11

Open kohlhase opened 5 years ago

kohlhase commented 5 years ago

It would be nice, if instead of clicking the Type Checking checkbox in the UI, I could press e.g. C-T or C-M-return.