search

decipher3114 / Revancify

The only revancify
Apache License 2.0
722 stars 52 forks source link

Automatically fetch tools when the source is changed #40

Closed KobeW50 closed 8 months ago

KobeW50 commented 8 months ago

When you change the source, you still need to manually fetch the latest tools. It would be nice if it automatically fetched the latest tools whenever you change the source. This can be added as an option in the Preferences menu if some users won't want this.

decipher3114 commented 8 months ago

It does fetch tools only if they aren't present. If tools of that source is present, be it older versions, it doesn't fetch.

It makes source changing faster.

pressRtowin commented 3 months ago

It makes source changing faster.

Yes it does. Regardless, I'd also think an option in preferences to toggle this behavior would be beneficial.