search

JetBrains / educational-plugin

Educational plugin to learn and teach programming languages such as Kotlin, Java, Python, JavaScript, and others right inside of JetBrains IntelliJ Platform based IDEs.
https://jetbrains.com/edu-products
Apache License 2.0
151 stars 51 forks source link

Fix shortcut in CheckAction #12

Closed demiurg906 closed 7 years ago