-
-
Notifications
You must be signed in to change notification settings - Fork 455
Add ability to manual reload PluginsManifest data #263
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
|
Is it possible to fire up the progress bar when doing the job? |
|
the reload has been quick for me, is it different for you? also it is not async, so program pauses and query box is hidden |
Oh I misunderstand how this will be done, I thought it is like a query selected result. It is quick for me, since the file is not large. Though I don't like the synchronous block, should we put a Wait() that here? Although I think loading pluginManifest won't be slow since plugins.json is small. |
|
Will do |
|
I suddenly have a though based on this code. Regarding to #233 and the later part #195 that I wants to make the plugins to have async model so that they can utilizes the async/await model and CancellationToken from mainThread. |
sounds good, lets do this in a seperate pr. |
Of course, I will add it as part of #195. |
|
Can we do a fresh pr? That one should just be kept for upgrading result list referring, otherwise hard to test and review |
Hmmm maybe you are right, although I originally want to solve the Explorer plugin issues and cancellation sync, so I create it based on that branch. I will rebase that toward dev. |
Add ability to manual reload the plugins manifest