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

Published 20 hours ago • verified publisher icon JetBrains

Fix breadcrumbs bar for Arend

Open sxhya opened this issue 4 months ago • 0 comments

In the updated Intellij IDEA interface there is a new breadcrumbs bar and it is currently not suported by Arend plugin:

Arend (internal structure within the file is not shown): image

Java (internal structure is shown): image

sxhya avatar Oct 16 '24 17:10 sxhya