Remove Java Rebuild Menu option for Arend source and test directories

JetBrains / intellij-arend

Arend plugin for IntelliJ IDEA

Apache License 2.0

90 stars 12 forks source link

Remove Java Rebuild Menu option for Arend source and test directories #500

Closed sxhya closed 5 months ago

sxhya commented 5 months ago

The 'Rebuild + XXX' menu option appears for Arend source and test directories, however when you select it you only get 'SDK not configured' error splash screen. This menu item should be removed.