Remove all plugin results on query change (#5796)

This commit is contained in:
Divyansh Srivastava
2020-08-07 19:27:52 -07:00
committed by GitHub
parent 7d8931696d
commit b2006f2466
2 changed files with 23 additions and 51 deletions

View File

@@ -222,7 +222,7 @@ namespace PowerLauncher.ViewModel
/// <summary>
/// Add new results to ResultCollection
/// </summary>
public void AddResults(List<Result> newRawResults, string resultId, CancellationToken ct)
public void AddResults(List<Result> newRawResults, CancellationToken ct)
{
if (newRawResults == null)
{
@@ -236,7 +236,6 @@ namespace PowerLauncher.ViewModel
ct.ThrowIfCancellationRequested();
}
Results.RemoveAll(r => r.Result.PluginID == resultId);
Results.AddRange(newResults);
}
#endregion