search

JetBrains / intellij-arend

Arend plugin for IntelliJ IDEA
Apache License 2.0
90 stars 12 forks source link

Make File Structure items navigable for Arend files. #560

Open sxhya opened 1 month ago

sxhya commented 1 month ago

Currently the items listed in the File Structure menu (Alt+7) are not navigable in Arend (unlike their Java/Kotlin counterparts).