Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Refreshing gaols should only trigger a graph refresh for autodata goa…
…ls (#446) Previously we would trigger a graph refresh on reload for all goals. This wans't a big deal in the past because the UI didn't differentiate that state, but now we show a lemniscate for queued goals it means all pulls to refresh would trigger a lemniscate, making the refresh operation take several seconds to quiesce. Now instead only trigger this refresh on goals with autodata, so manual goals refresh quicker. Testing: Refreshed a goal with autodata and saw the lemniscate Refreshed a goal with manual data and saw no lemniscate
- Loading branch information