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

Published 20 hours ago • verified publisher icon JetBrains

Goto usages

Open valis opened this issue 5 years ago • 0 comments

When "Goto declaration or usages" (i.e., ctrl+click) is invoked on a declaration, it should show all of its usages, but this does not work in Arend.

valis avatar Feb 28 '20 19:02 valis