You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Code completion doesn't work with renamed, referred vars #1544
I believe the original issue was fixed some time ago, in #394. However, renamed vars incorrectly appeared with the original names in completion lists, which is now fixed.
Activity
Engelberg commentedon Oct 1, 2016
If the thing you are renaming is a macro, this issue makes it impossible (as far as I can tell) to alter Cursive's indentation for the macro.
marco-m commentedon Oct 5, 2018
@cursive-ide this impacts, for example, better-cond https://github.com/Engelberg/better-cond/tree/v2.0.1.
cursive-ghost commentedon Mar 15, 2022
I believe the original issue was fixed some time ago, in #394. However, renamed vars incorrectly appeared with the original names in completion lists, which is now fixed.