intellij-arend icon indicating copy to clipboard operation
intellij-arend copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

Make File Structure items navigable for Arend files.

Open sxhya opened this issue 4 months ago • 0 comments

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

sxhya avatar Oct 16 '24 11:10 sxhya