This fixes an issue where sometimes checking for local and remote duplicate names wouldn't properly update their respective local trackers. It comes up in a couple scenarios all involving slow internet and the fact that once Magma requests finish, if they happen to reference variables that changed during the request, they won't use the latest value but the stale initial value at request start.
Happy to explain via call—it's much easier to understand with a demo!
TODO
[x] loading indicator next to each name for any magma request ("+1" button, checking for duplicates, etc.)
This fixes an issue where sometimes checking for local and remote duplicate names wouldn't properly update their respective local trackers. It comes up in a couple scenarios all involving slow internet and the fact that once Magma requests finish, if they happen to reference variables that changed during the request, they won't use the latest value but the stale initial value at request start.
Happy to explain via call—it's much easier to understand with a demo!
TODO