private void OnHitsSubtracted(HitsSubtractedResponse response) { foreach (Uri uri in response.Uris) { view.SubtractHit(uri); } TotalMatches -= response.Uris.Count; CheckNoMatch(); }
private static void OnHitsSubtracted(HitsSubtractedResponse response) { lastQueryTime = DateTime.Now; if (!display_hits) { return; } foreach (Uri uri in response.Uris) { Console.WriteLine("Subtracted Uri '{0}'", uri); Console.WriteLine(); --count; } }
public void OnResultHitsSubtracted(QueryResult result, ICollection some_uris) { HitsSubtractedResponse response = new HitsSubtractedResponse(some_uris); this.SendAsyncResponse(response); }
private void OnHitsSubtracted(HitsSubtractedResponse response) { root.Subtract(response.Uris); UpdatePage(); }
public void OnResultHitsSubtracted (QueryResult result, ICollection some_uris) { HitsSubtractedResponse response = new HitsSubtractedResponse (some_uris); this.SendAsyncResponse (response); }